This article has moved into The Dossier.
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
This article has moved into The Dossier.
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system