Book:Books/Logic
< Book:Books
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.
1.1 Boolean Algebra
1.2 Mathematical Logic
1.3 Metamathematics
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 }$
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: 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.)
1958: Rudolf Carnap: Introduction to Symbolic Logic and its Applications
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
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
1963: Paul R. Halmos: Lectures on Boolean Algebras
1968: Douglas Kaye: Boolean Systems
2008: Paul Halmos and Steven Givant: Introduction to Boolean Algebras
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
1951: Willard Van Orman Quine: Mathematical Logic (Revised ed.)
1958: Martin Davis: Computability and Unsolvability
1982: Martin Davis: Computability and Unsolvability (2nd 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.)
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
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.)
1952: Stephen Cole Kleene: Introduction to Metamathematics
2005: Gregory Chaitin: Metamaths: The Quest for Omega
Retrieved from "https://proofwiki.org/w/index.php?title=Book:Books/Logic&oldid=442817"
This page was last modified on 7 January 2020, at 14:42 and is 0 bytes