David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Dover Publications (1967)
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
|Keywords||Mathematics Philosophy Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$8.31 used (67% off) $13.58 new (46% off) $18.97 direct from Amazon (24% off) Amazon page|
|Call number||QA9.A1.K54 2002|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Byeong-Uk Yi (2005). The Logic and Meaning of Plurals. Part I. Journal of Philosophical Logic 34 (5/6):459-506.
Mark Jago (2013). The Problem of Rational Knowledge. Erkenntnis (S6):1-18.
Joshua M. Epstein (1999). Agent-Based Computational Models and Generative Social Science. Complexity 4 (5):41-60.
Nicolao Bonini, Katya Tentori & Daniel Osherson (2004). A Different Conjunction Fallacy. Mind and Language 19 (2):199–210.
Nir Fresco (2011). Concrete Digital Computation: What Does It Take for a Physical System to Compute? [REVIEW] Journal of Logic, Language and Information 20 (4):513-537.
Similar books and articles
Angelo Margaris (1967/1990). First Order Mathematical Logic. Dover Publications.
Peter Smith (2013). An Introduction to Gödel's Theorems. Cambridge University Press.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
G. T. Kneebone (1963/2001). Mathematical Logic and the Foundations of Mathematics: An Introductory Survey. Dover.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Added to index2009-01-28
Total downloads41 ( #80,924 of 1,725,833 )
Recent downloads (6 months)2 ( #268,271 of 1,725,833 )
How can I increase my downloads?