 Introduction to Mathematical Logic by Alonzo Church, 19961028
 Handbook of Mathematical Induction: Theory and Applications (Discrete Mathematics and Its Applications) by David S. Gunderson, 20100914
 Introduction to Mathematical Logic, Third Edition by Elliott Mendelson, 19870228
 First Course in Mathematical Logic by Patrick Suppes, Shirley Hill, 20100617
 Mathematical Logic for Computer Science by Mordechai BenAri, 19921231
 Friendly Introduction to Mathematical Logic, A by Christopher C. Leary, 19991208
 First Order Mathematical Logic by Angelo Margaris, 19900301
 The Foundations of Mathematics (Logic) by Kenneth Kunen, 20090908
 Introduction to Mathematical Structures and Proofs (Volume 0) by Larry J. Gerstein, 20080613
 The Search for Mathematical Roots, 18701940 by I. GrattanGuinness, 20010115
 An Introduction to Fuzzy Logic for Practical Applications (Volume 0) by Kazuo Tanaka, 19961115
 From Symbolic Logic to Mathematical Logic by Silver, 199307
 Mathematical Reasoning: Writing and Proof (2nd Edition) by Ted Sundstrom, 20060323
 Mathematical Logic Hierarchies: Arithmetical Hierarchy
