1. R. Cori and D. Lascar, Mathematical Logic: A Course with Exercises (Part I) (Oxford University Press, 2001), sections 1, 3, 4.
  2. A. G. Hamilton, Logic for Mathematicians (2nd edition, Cambridge University Press, 1988), pp.1-69, pp.73-76 (for statement of Completeness (Adequacy) Theorem), pp.99-103 (for the Compactness Theorem).
  3. W. B. Enderton, A Mathematical Introduction to Logic (Academic Press, 1972), pp.101-144.
  4. D. Goldrei, Propositional and Predicate Calculus: A model of argument (Springer, 2005).
  5. A. Prestel and C. N. Delzell, Mathematical Logic and Model Theory (Springer, 2010).
Further Reading:
  1. R. Cori and D. Lascar, Mathematical Logic: A Course with Exercises (Part II) (Oxford University Press, 2001), section 8.
Last modified: Tuesday, 14 March 2023, 7:47 PM