Logic Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to your username, along with other benefits.Anti-spam check. Do not fill this in! ==Further reading== {{Library resources box}} {{refbegin|indent=yes|38em}} * {{cite book |last1=Barwise |first1=Jon |author-link=John Barwise |title=Handbook of Mathematical Logic. |date=1989 |publisher=Elsevier |isbn=978-0-08-093364-1}} * {{cite book |last1=Belnap |first1=Nuel |author-link=Nuel Belnap |editor1-last=Dunn |editor1-first=J. Michael |editor2-last=Epstein |editor2-first=George |title=Modern Uses of Multiple-valued Logic |date=1977 |publisher=Springer |isbn=978-90-277-0747-5 |chapter=A useful four-valued logic |pages=8–40}} * {{cite book |last1=Bocheński |first1=Józef Maria |author-link=Józef Maria Bocheński |title=A Precis of Mathematical Logic |date=1959 |publisher=Springer Netherlands |url=https://books.google.com/books?id=4I8XAAAAIAAJ |language=en |isbn=978-94-017-0592-9}} * {{cite book |last1=Bocheński |first1=Józef Maria |title=A History of Formal Logic |date=1970 |publisher=Chelsea Publishing Company |isbn=978-0-8284-0238-5 |url=https://books.google.com/books?id=cgAZAQAAIAAJ |language=en}} * {{Cite book |last=Brookshear |first=J. Glenn |title=Theory of Computation: Formal Languages, Automata, and Complexity |publisher=Benjamin/Cummings Pub. Co. |year=1989 |isbn=978-0-8053-0143-4 }} * {{cite book |last1=Cohen |first1=Robert S. |last2=Wartofsky |first2=Marx W. |title=Logical and Epistemological Studies in Contemporary Physics |date=2012 |publisher=Springer Science & Business Media |isbn=978-94-010-2656-7 |url=https://books.google.com/books?id=MY5qCQAAQBAJ |language=en}} * {{cite book |last1=Finkelstein |first1=David |editor1-last=Cohen |editor1-first=Robert S. |editor2-last=Wartofsky |editor2-first=Marx W. |title=Boston Studies in the Philosophy of Science: Proceedings of the Boston Colloquium for the Philosophy of Science 1966/1968 |date=2012 |publisher=Springer Science & Business Media |isbn=978-94-010-3381-7 |chapter-url=https://books.google.com/books?id=qw38CAAAQBAJ&pg=PA199 |language=en |chapter=Matter, Space, and Logic}} * {{cite book |last1=Gabbay |first1=Dov M. |author-link=Dov Gabbay |last2=Guenthner |first2=Franz |title=Handbook of Philosophical Logic: Volume I: Elements of Classical Logic |date=2011 |publisher=Springer Netherlands |isbn=978-94-009-7068-7 |url=https://books.google.com/books?id=IZI7ngEACAAJ |language=en}} * {{Cite web |url=http://www.etymonline.com/index.php?term=logic |title=Logic |last=Harper |first=Robert |year=2001 |website=[[Online Etymology Dictionary]] |access-date=8 May 2009 |archive-date=6 February 2009 |archive-url=https://web.archive.org/web/20090206201125/http://www.etymonline.com/index.php?term=logic |url-status=live }} * {{cite book |last1=Hilbert |first1=David |author-link=David Hilbert |last2=Ackermann |first2=Wilhelm |title=Grundzüge der theoretischen Logik |date=21 November 2013 |publisher=Springer-Verlag |isbn=978-3-662-41928-1 |url=https://books.google.com/books?id=NEiGBwAAQBAJ |language=de}} * {{cite book |last1=Hodges |first1=Wilfrid |author-link=Wilfrid Hodges |title=Logic |date=2001 |publisher=Penguin Adult |isbn=978-0-14-100314-6 |url=https://books.google.com/books?id=xIcTc2d4y_AC |language=en}} * {{cite web |last1=Hofweber |first1=Thomas |title=Logic and Ontology |url=http://plato.stanford.edu/entries/logic-ontology/ |website=The Stanford Encyclopedia of Philosophy |publisher=Metaphysics Research Lab, Stanford University |date=2021}} * {{cite book |last1=Hughes |first1=R. I. G. |title=A Philosophical Companion to First-order Logic |date=1993 |publisher=Hackett Publishing |isbn=978-0-87220-181-1 |url=https://books.google.com/books?id=gk1Tp_7cgiEC |language=en}} * {{cite book |last1=Mendelson |first1=Elliott |author-link=Elliott Mendelson |title=Introduction to Mathematical Logic |edition=6th |date= 2015 |publisher=Taylor & Francis |isbn=978-1-4822-3772-6 |url=https://books.google.com/books?id=5GTpngEACAAJ |language=en}} * {{cite journal |last1=Smith |first1=Barry |author-link=Barry Smith (ontologist) |title=Logic and the Sachverhalt |journal=The Monist |date=1989 |volume=72 |issue=1 |pages=52–69 |doi=10.5840/monist19897212 |url=https://philpapers.org/rec/SMILAT-3}} * {{cite book |last1=Whitehead |first1=Alfred North |author1-link=Alfred North Whitehead |last2=Russell |first2=Bertrand |author2-link=Bertrand Russell |title=Principia Mathematica |date=1910 |publisher=Rough Draft Printing |isbn=9781603864374 |url=https://books.google.com/books?id=MZpJngEACAAJ |language=en |oclc=872285723}} {{refend}} Summary: Please note that all contributions to Christianpedia may be edited, altered, or removed by other contributors. If you do not want your writing to be edited mercilessly, then do not submit it here. You are also promising us that you wrote this yourself, or copied it from a public domain or similar free resource (see Christianpedia:Copyrights for details). Do not submit copyrighted work without permission! Cancel Editing help (opens in new window) Discuss this page