Editing Mathematical logic (section)

=== Graduate texts ===
* {{Cite book |last=Hinman |first=Peter G. |date=2005 |title= Fundamentals of mathematical logic |publisher=A K Peters, Ltd. |isbn=1-56881-262-0
}}
* {{Cite book |last=Andrews |first=Peter B. |date=2002 |title=An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof |edition=2nd |location=[[Boston]] |publisher=Kluwer Academic Publishers |isbn=978-1-4020-0763-7 
}}
* {{Cite book| editor-last=Barwise |editor-first=Jon |editor-link=Jon Barwise |date=1989 |title=Handbook of Mathematical Logic |location=[[Amsterdam]] |publisher=[[Elsevier]] |series=Studies in Logic and the Foundations of Mathematics |isbn=9780444863881 
}}
* {{Cite book |last=Hodges |first=Wilfrid |author-link=Wilfrid Hodges |date=1997 |title=A shorter model theory |publisher=[[Cambridge University Press]] |isbn=9780521587136
}}
* {{Cite book |last=Jech |first=Thomas |author-link=Thomas Jech |date=2003 |title=Set Theory: Millennium Edition |series=Springer Monographs in Mathematics |location=Berlin, New York |publisher=[[Springer Science+Business Media|Springer]] |isbn=9783540440857 
}}
*[[Stephen Cole Kleene|Kleene, Stephen Cole]].(1952), ''[https://books.google.com/books?id=HZAjPwAACAAJ&source=gbs_ViewAPI Introduction to Metamathematics.]'' New York: Van Nostrand. (Ishi Press: 2009 reprint).
*[[Stephen Cole Kleene|Kleene, Stephen Cole]]. (1967),  ''[http://worldcat.org/oclc/523472 Mathematical Logic.]'' John Wiley. Dover reprint, 2002. {{isbn|0-486-42533-9}}.
* {{Cite book |last=Shoenfield |first=Joseph R. |author-link=Joseph R. Shoenfield |date=2001 |orig-date=1967 |title=Mathematical Logic |edition=2nd |publisher=[[A K Peters]] |isbn=9781568811352 
}}
* {{Cite book |last1=Troelstra |first1=Anne Sjerp |author1-link=A. S. Troelstra |last2=Schwichtenberg |first2=Helmut |date=2000 |title=Basic Proof Theory |edition=2nd |series=Cambridge Tracts in Theoretical Computer Science |publisher=Cambridge University Press |isbn=978-0-521-77911-1 }}