Book:Books/Logic

The following books covered on $\mathsf{Pr} \infty \mathsf{fWiki}$ discuss logic in one form or another.

For a comprehensive list of books referenced on $\mathsf{Pr} \infty \mathsf{fWiki}$ (and more), see Books.

Books

• 1666: Gottfried Wilhelm von Leibniz: Dissertatio de Arte Combinatoria
• 1847: George Boole: The Mathematical Analysis of Logic
• 1854: George Boole: An Investigation of the Laws of Thought
• 1872: Augustus De Morgan: A Budget of Paradoxes
• 1881: John Venn: Symbolic Logic

• 1910 -- 1913: Alfred North Whitehead and Bertrand Russell: Principia Mathematica
  • 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 1 }$
  • 1912: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 2 }$
  • 1913: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 3 }$

• 1918: Bertrand Russell: The Philosophy of Logical Atomism

• 1921: Ludwig Wittgenstein: Tractatus Logico-Philosophicus
  • 2003: Ludwig Wittgenstein: Tractatus Logico-Philosophicus (New ed.) (translated by C.K. Ogden)

• 1936: Alfred Tarski: O Logice Matematycznej i Metodzie Dedukcyjnej
  • 1941: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (translation by Olaf Helmer of O Logice Matematycznej i Metodzie Dedukcyjnej)
  • 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences (2nd ed.)

• 1953: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic)
  • 1957: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (2nd ed.)
  • 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.)

• 1954: Rudolf Carnap: Einführung in die symbolische Logik
  • 1958: Rudolf Carnap: Introduction to Symbolic Logic and its Applications (translated by William H. Meyer and John Wilkinson from Einführung in die symbolische Logik)

• 1954: Irving M. Copi: Symbolic Logic
  • 1965: Irving M. Copi: Symbolic Logic (2nd ed.)
  • 1967: Irving M. Copi: Symbolic Logic (3rd ed.)
  • 1973: Irving M. Copi: Symbolic Logic (4th ed.)
  • 1979: Irving M. Copi: Symbolic Logic (5th ed.)

• 1963: Willard Van Orman Quine: Set Theory and Its Logic
• 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning
• 1965: E.J. Lemmon: Beginning Logic
• 1967: Angelo Margaris: First Order Mathematical Logic

• 1968: Raymond M. Smullyan: First-Order Logic
  • 1995: Raymond M. Smullyan: First-Order Logic (2nd ed.)

• 1975: Gaisi Takeuti: Proof Theory
  • 1987: Gaisi Takeuti: Proof Theory (2nd ed.)

• 1977: William Warren Bartley, III: Lewis Carroll's Symbolic Logic

• 1978: Alan G. Hamilton: Logic for Mathematicians
  • 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.)

• 1980: Dirk van Dalen: Logic and Structure
• 1980: D.J. O'Connor and Betty Powell: Elementary Logic
• 1987: Michael R. Genesereth and Nils J. Nilsson: Logical Foundations of Artificial Intelligence
• 1984: Robert Goldblatt: Topoi: The Categorical Analysis of Logic
• 1995: Merrilee H. Salmon: Introduction to Logic and Critical Thinking
• 1997: Colin Howson: Logic with Trees

Boolean Algebra

• 1963: Paul R. Halmos: Lectures on Boolean Algebras
• 1968: Douglas Kaye: Boolean Systems
• 2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras

Mathematical Logic

• 1879: Gottlob Frege: Begriffsschrift

• 1884: Gottlob Frege: Die Grundlagen der Arithmetik
  • 1950: Gottlob Frege: The Foundations of Arithmetic (translation by J.L. Austin of Die Grundlagen der Arithmetik)
  • 1953: Gottlob Frege: The Foundations of Arithmetic (2nd ed.) (translation by J.L. Austin of Die Grundlagen der Arithmetik)

• 1888: Giuseppe Peano: Calcolo geometrico secondo l'Ausdehnungslehre di H. Grassmann

• 1892: Giuseppe Peano: Formulario Mathematico
  • 1896: Giuseppe Peano: Formulario Mathematico (2nd ed.)
  • 1908: Giuseppe Peano: Formulario Mathematico (5th ed.): project completed

• 1893: Gottlob Frege: Grundgesetze der Arithmetik, Band I
  • 1903: Gottlob Frege: Grundgesetze der Arithmetik, Band II

• 1898: Alfred North Whitehead: A Treatise on Universal Algebra, with Applications

• 1903: Bertrand Russell: The Principles of Mathematics
  • 1938: Bertrand Russell: The Principles of Mathematics (2nd ed.)

• 1933: Alfred Tarski: The Concept of Truth in Formalized Languages

• 1934: David Hilbert and Paul Bernays: Grundlagen der Mathematik: Volume $\text { 1 }$
• 1939: David Hilbert and Paul Bernays: Grundlagen der Mathematik: Volume $\text { 2 }$

• 1944: Alonzo Church: Introduction to Mathematical Logic

• 1951: Willard Van Orman Quine: Mathematical Logic (Revised ed.)

• 1958: Martin Davis: Computability and Unsolvability
  • 1982: Martin Davis: Computability and Unsolvability (2nd ed.)

• 1964: Elliott Mendelson: Introduction to Mathematical Logic
  • 1997: Elliott Mendelson: Introduction to Mathematical Logic (4th ed.)
  • 2010: Elliott Mendelson: Introduction to Mathematical Logic (5th ed.)
  • 2015: Elliott Mendelson: Introduction to Mathematical Logic (6th ed.)

• 1974: George S. Boolos and Richard C. Jeffrey: Computability and Logic
  • 1980: George S. Boolos and Richard C. Jeffrey: Computability and Logic (2nd ed.)
  • 1989: George S. Boolos and Richard C. Jeffrey: Computability and Logic (3rd ed.)
  • 2002: George S. Boolos, Richard C. Jeffrey and John P. Burgess: Computability and Logic (4th ed.)
  • 2007: George S. Boolos, John P. Burgess and Richard C. Jeffrey: Computability and Logic (5th ed.)

• 1977: Yu.I. Manin: A Course in Mathematical Logic
• 1979: Douglas R. Hofstadter: Gödel, Escher, Bach: an Eternal Golden Braid

• 1986: Peter B. Andrews: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
  • 2002: Peter B. Andrews: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd ed.)

• 1993: M. Ben-Ari: Mathematical Logic for Computer Science
  • 2001: M. Ben-Ari: Mathematical Logic for Computer Science (2nd ed.)
  • 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.)

• 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability
• 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems
• 2007: Ian Chiswell and Wilfrid Hodges: Mathematical Logic
• 2009: Kenneth Kunen: The Foundations of Mathematics
• 2010: Yu.I. Manin and Boris Zilber: A Course in Mathematical Logic for Mathematicians (2nd ed.)

Metamathematics

• 1952: Stephen Cole Kleene: Introduction to Metamathematics
• 2005: Gregory Chaitin: Metamaths: The Quest for Omega