Editing Mathematical logic (section)

=== Research papers, monographs, texts, and surveys ===
* {{cite book|url=http://www.collegepublications.co.uk/logic/mlf/?00029|title=Logical consequences. Theory and applications: An introduction|first1=Luis M.|last1= Augusto|publisher=College Publications|location=London|date=2017|isbn=978-1-84890-236-7}}
* {{cite book |last=Boehner |first=Philotheus |author-link=Philotheus Boehner |date=1950 |title=Medieval Logic |location=Manchester
}}
* {{Cite book |last=Cohen |first=Paul J. |author-link=Paul Cohen |date=1966 |title=Set Theory and the Continuum Hypothesis |location=[[Menlo Park, California|Menlo Park CA]] |publisher=W. A. Benjamin
}}
* {{cite book |last=Cohen |first=Paul J. |author-link=Paul Cohen |date=2008 |orig-date=1966 |title=Set theory and the continuum hypothesis |location=[[Mineola, New York|Mineola NY]] |publisher=Dover Publications |isbn=9780486469218
}}
*J.D. Sneed, ''The Logical Structure of Mathematical Physics''. Reidel, Dordrecht, 1971 (revised edition 1979).
* {{Cite journal |last=Davis |first=Martin |author-link=Martin Davis (mathematician) |date=1973 |title=[[Hilbert's tenth problem]] is unsolvable |journal=[[American Mathematical Monthly|The American Mathematical Monthly]] |volume=80 |issue=3 |pages=233–269 |doi=10.2307/2318447 |jstor=2318447 }}<br> Reprinted as an appendix in {{cite book |author=Martin Davis |date=1985 |title=Computability and Unsolvability |publisher=Dover |isbn=9780486614717
}}
*{{Cite journal |last=Felscher |first=Walter |date=2000 |title=Bolzano, Cauchy, Epsilon, Delta |journal=The American Mathematical Monthly |volume=107 |issue=9 |pages=844–862 |doi=10.2307/2695743 |jstor=2695743
}}
*{{Cite journal |last=Ferreirós |first=José |date=2001 |title=The Road to Modern Logic-An Interpretation |journal=Bulletin of Symbolic Logic |volume=7 |issue=4 |pages=441–484 |doi=10.2307/2687794 |jstor=2687794 |hdl=11441/38373 |s2cid=43258676 |url=https://idus.us.es/xmlui/bitstream/11441/38373/1/The%20road%20to%20modern%20logic.pdf
}}
* {{Cite journal |last1=Hamkins |first1=Joel David |last2=Löwe |first2=Benedikt |date=2007 |title=The modal logic of forcing |journal=Transactions of the American Mathematical Society |volume=360 |issue=4 |pages=1793–1818 |doi=10.1090/s0002-9947-07-04297-3 |s2cid = 14724471 |arxiv=math/0509616
}}
* {{Cite book |last1=Katz |first1=Victor J. |date=1998 |title=A History of Mathematics |publisher=Addison–Wesley |isbn=9780321016188
}}
* {{Cite journal |last=Morley |first=Michael |author-link=Michael D. Morley |date=1965 |title=Categoricity in Power |journal=[[Transactions of the American Mathematical Society]] |volume=114 |issue=2 |pages=514–538 |doi=10.2307/1994188 |jstor=1994188 |doi-access=free
}}
* {{Cite journal |last=Soare |first=Robert I. |date=1996 |title=Computability and recursion |journal=Bulletin of Symbolic Logic |volume=2 |issue = 3 |pages=284–321 |doi=10.2307/420992 |jstor=420992 |citeseerx=10.1.1.35.5803
|s2cid=5894394 }}
*{{Cite journal |last=Solovay |first=Robert M. |author-link=Robert M. Solovay |date=1976 |title=Provability Interpretations of Modal Logic |journal=[[Israel Journal of Mathematics]] |volume=25 |issue=3–4 |pages=287–304 |doi=10.1007/BF02757006 |doi-access= |s2cid= 121226261
}}
*{{Cite journal |last=Woodin |first=W. Hugh |author-link=W. Hugh Woodin |date=2001 |title=The Continuum Hypothesis, Part I |journal=Notices of the American Mathematical Society |volume=48 |issue=6 |url=https://www.ams.org/notices/200106/fea-woodin.pdf}}