Dover Publications (1967)

Abstract
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)
Reprint years 2002
Buy the book $10.99 used (56% off)   $16.69 direct from Amazon (33% off)    Amazon page
Call number QA9.A1.K54 2002
ISBN(s) 0486425339   9780486425337  
DOI 10.2307/2218572
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,855
External links

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.

Add more references

Citations of this work BETA

The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.
What an Algorithm Is.Robin Hill - 2016 - Philosophy and Technology 29 (1):35-59.
The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.
Semiotic Systems, Computers, and the Mind: How Cognition Could Be Computing.William J. Rapaport - 2012 - International Journal of Signs and Semiotic Systems 2 (1):32-71.

View all 57 citations / Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
70 ( #134,423 of 2,342,978 )

Recent downloads (6 months)
1 ( #515,062 of 2,342,978 )

How can I increase my downloads?

Downloads

My notes