Skip to main content

A Couple of Novelties in the Propositional Calculus

C.A.R. Hoare

Journal
Zeitschr. f. Math. Logik und Grundlagen d. Math.
Number
2
Pages
173–178
Volume
31
Year
1985