GenTreeCad

swMATH33688MaRDI QIDQ45397FDOQ45397

Official website http://ac.inf.elte.hu/Vol_037_2012/229_37.pdf

Described by source

• Press-ready deduction trees in classical logic using point-plus-expressions

This page was built for software: GenTreeCad