Kanovich, M. I. (1991). Fast theorem proving in intuitionistic propositional logic.
Chicago-Zitierstil (17. Ausg.)Kanovich, Max I. Fast Theorem Proving in Intuitionistic Propositional Logic. Amsterdam, 1991.
MLA-Zitierstil (9. Ausg.)Kanovich, Max I. Fast Theorem Proving in Intuitionistic Propositional Logic. 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.