Title: An introduction to the nature of proof
First published: 1967
Subjects: Logic, Symbolic and mathematical, Symbolic and mathematical Logic