GenTreeCad

swMATH33688MaRDI QIDQ45397FDOQ45397

Author name not available (Why is that?)

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