Editing Mathematical logic (section)

=== Undergraduate texts ===
* {{Cite book |last=Walicki |first=Michał |date=2011 |title=Introduction to Mathematical Logic |location=[[Singapore]] |publisher=[[World Scientific Publishing]] |isbn=9789814343879
}}
* {{Cite book |last1=Boolos |first1=George |author1-link=George Boolos |last2=Burgess |first2=John |last3=Jeffrey |first3=Richard |author3-link=Richard Jeffrey |date=2002 |title=Computability and Logic |edition=4th |publisher=[[Cambridge University Press]] |isbn=9780521007580
}}
* {{Cite book |last1=Crossley |first1=J.N. |last2=Ash |first2=C.J. |last3=Brickhill |first3=C.J. |last4=Stillwell |first4=J.C. |last5=Williams |first5=N.H. |date=1972 |title=What is mathematical logic? |location=London, Oxford, New York City |publisher=[[Oxford University Press]] |isbn=9780198880875 |zbl=0251.02001
}}
* {{Cite book |last=Enderton |first=Herbert |date=2001 |title=A mathematical introduction to logic |edition=2nd |location=[[Boston]] MA |publisher=[[Academic Press]] |isbn=978-0-12-238452-3 
}}
* {{Cite book |last=Fisher |first=Alec |date=1982 |title=Formal Number Theory and Computability: A Workbook |edition=1st |others=(suitable as a first course for independent study) |publisher=Oxford University Press |isbn=978-0-19-853188-3 
}}
* {{Cite book |last=Hamilton |first=A.G. |date=1988 |title=Logic for Mathematicians |edition=2nd |publisher=Cambridge University Press |isbn=978-0-521-36865-0 
}}
*{{Cite book |last1=Ebbinghaus |first1=H.-D. |last2=Flum |first2=J. |last3=Thomas |first3=W. |date=1994 |title=Mathematical Logic |edition=2nd |location=[[New York City]] |publisher=[[Springer Science+Business Media|Springer]] |isbn=9780387942582 |url=https://www.springer.com/mathematics/book/978-0-387-94258-2 
}}
* {{Cite book |last1=Katz |first1=Robert |date=1964 |title=Axiomatic Analysis |location=[[Boston]] MA |publisher=[[D. C. Heath and Company]]
}}
* {{Cite book |last=Mendelson |first=Elliott |author-link=Elliott Mendelson |date=1997 |title=Introduction to Mathematical Logic |edition=4th |location=London |publisher=[[Chapman & Hall]] |isbn=978-0-412-80830-2 
}}
* {{Cite book |last=Rautenberg |first=Wolfgang |author-link=Wolfgang Rautenberg |date=2010 |title=A Concise Introduction to Mathematical Logic |edition=3rd |location=[[New York City]] |publisher=[[Springer Science+Business Media|Springer]] |doi=10.1007/978-1-4419-1221-3 |isbn=9781441912206
}}
* {{Cite book |last=Schwichtenberg |first=Helmut |author-link=Helmut Schwichtenberg |year=2003–2004 |title=Mathematical Logic |location=[[Munich]] |publisher=Mathematisches Institut der Universität München |access-date=2016-02-24 |url=http://www.mathematik.uni-muenchen.de/~schwicht/lectures/logic/ws03/ml.pdf 
}}
* Shawn Hedman, ''A first course in logic: an introduction to model theory, proof theory, computability, and complexity'', [[Oxford University Press]], 2004, {{isbn|0-19-852981-3}}. Covers logics in close relation with [[computability theory]] and [[Computational complexity theory|complexity theory]]
* {{Cite book |last=van Dalen |first=Dirk |date=2013 |title=Logic and Structure |series=Universitext |location=Berlin |publisher=[[Springer Science+Business Media|Springer]] |doi=10.1007/978-1-4471-4558-5 |isbn=978-1-4471-4557-8 }}