On the propositional calculus P 1 (1973)

by A M Sette
Venue:Mathematica Japonicae