An Introduction to Mathematical Logic

Courier Corporation (2013)
  Copy   BIBTEX

Abstract

This comprehensive overview ofmathematical logic is designedprimarily for advanced undergraduatesand graduate studentsof mathematics. The treatmentalso contains much of interest toadvanced students in computerscience and philosophy. Topics include propositional logic;first-order languages and logic; incompleteness, undecidability,and indefinability; recursive functions; computability;and Hilbert’s Tenth Problem.Reprint of the PWS Publishing Company, Boston, 1995edition.

Categories

Keywords

Reprint years

ISBN(s)

9780486497853   0486497852   053494440X
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,075

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
Introduction to mathematical logic.Elliott Mendelson - 1964 - Princeton, N.J.,: Van Nostrand.
The Axiomatic Method an Introduction to Mathematical Logic.Albert Harold Lightstone - 1964 - Englewood Cliffs, NJ, USA: Prentice-Hall.
A mathematical introduction to logic.Herbert Bruce Enderton - 1972 - New York,: Academic Press.
An introduction to mathematical thought.Edward Russell Stabler - 1953 - Cambridge, Mass.,: Addison-Wesley.
Introduction to mathematical logic.Michał Walicki - 2012 - Hackensack, NJ: World Scientific.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Mathematical Logic and Modern Formal Logic.A. A. Vetrov - 1964 - Russian Studies in Philosophy 3 (1):24-33.
A Friendly Introduction to Mathematical Logic.Christopher C. Leary & Lars Kristiansen - 2015 - Lulu.com.
Introduction to Mathematical Logic. Set Theory, Computable Functions, Model Theory.Jerome Malitz - 1984 - Journal of Symbolic Logic 49 (2):672-673.
Rudimentos de lógica matemática.Lorenzo Peña (ed.) - 1991 - Libros CSIC.

Analytics

Added to PP
2015-02-03

Downloads
19 (#801,020)

6 months
1 (#1,474,534)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references