Natural Deduction
Subtitle: The Logical Basis of Axiom Systems
Publisher: Wadsworth Pub. Co.
Published: 1962-01-01