Intuitionistic propositional calculus and de non-empty terms (abstract (1965)

by H Lauchli
Venue:Journal of Symbolic Logic