Warehouse Stock Clearance Sale
Grab a bargain today!
Introduction. The propositional calculus. Quantification theory. Formal number theory. Axiomatic set theory. Effective computability. Bibliography. Answers. Notation. Index.