2 books
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey
2001
Formal Logic: Or, The Calculus of Inference, Necessary and Probable
1847
