The Tableau Algorithm for Intuitionistic Propositional Calculus as a Constructive Completeness Proof


by Judith Underwood

Proceedings of the Workshop on Theorem Proving with Analytic Tableaux, pp. 245-248, 1993.


Sorry, there are no downloadable files available for this document at this time.