1 results
A Semantical Calculus for Intuitionistic Propositional Logic
-
-
- Book:
- Sets and Proofs
- Published online:
- 05 September 2013
- Print publication:
- 17 June 1999, pp 73-94
-
- Chapter
- Export citation