Skip to main content
PRL Project

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

by Judith Underwood
1993

Proceedings of Workshop on Theorem Proving with Analytic Tableaux

  • no downloads available

bibTex ref: Und93


cite link