 Mathematical Logic Introduction: Primitive Notion, Truth Value, Lcf, Infinite Set, Shelah Cardinal, Singular Cardinals Hypothesis
 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series) by Peter B. Andrews, 20101102
 Logic, Induction and Sets (London Mathematical Society Student Texts) by Thomas Forster, 20030721
 FirstOrder Logic by Raymond M. Smullyan, 19950130
 Mathematical Logic and the Foundations of Mathematics: An Introductory Survey by G. T. Kneebone, 20010425
 Advances in Linear Logic (London Mathematical Society Lecture Note Series)
 Mathematical Logic Applications and Theory (Saunders Series) by Jean E. Rubin, 199001
 Mathematical Logic : A course with exercises  Part I  Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar, 20001109
 Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy) (Volume 0) by Alice ter Meulen, 19900430
 Mathematical Fallacies and Paradoxes by Bryan Bunch, 19970701
 The Moscow Puzzles: 359 Mathematical Recreations (Math & Logic Puzzles) by Boris A. Kordemsky, 19920410
 The Principles of Inductive Logic (AMS Chelsea Publishing) by John Venn, 19730101
 Mathematical Proofs: A Transition to Advanced Mathematics (2nd Edition) by Gary Chartrand, Albert D. Polimeni, et all 20071013
 Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers by Bernd S. W. Schr?der, 20100816
