Mathematical Logic: A Course with Exercises, Part 2—Recursion Theory, Gödel's Theorems, Set Theory, Model Theory

&
Oxford, England: Oxford University Press (2000)
  Copy   BIBTEX

Abstract

The requirement to reason logically forms the basis of all mathematics, and hence mathematical logic is one of the most fundamental topics that students will study. Assuming no prior knowledge of the topic, this book provides an accessible introduction for advanced undergraduate students.

Categories

Keywords

Reprint years

2001

ISBN(s)

9780198500513   0198500513

Links

PhilArchive



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

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

Set Theory and Logic.Robert Roth Stoll - 2012 - San Francisco and London: Courier Corporation.
Notes on logic and set theory.P. T. Johnstone - 1987 - New York: Cambridge University Press.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Metarecursive sets.G. Kreisel & Gerald E. Sacks - 1965 - Journal of Symbolic Logic 30 (3):318-338.
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
A concise introduction to mathematical logic.Wolfgang Rautenberg - 2006 - New York, NY: Springer.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory.Gregory H. Moore - 1980 - History and Philosophy of Logic 1 (1-2):95-137.
Axiomatic Theory of Sets and Classes.Murray Eisenberg - 1971
Recursion theory and complexity: proceedings of the Kazan '97 Workshop, Kazan, Russia, July 14-19, 1997.Marat Mirzaevich Arslanov & Steffen Lempp (eds.) - 1999 - New York: W. de Gruyter.
A Friendly Introduction to Mathematical Logic.Christopher C. Leary & Lars Kristiansen - 2015 - Lulu.com.
The Non-unique Universe.Gordon McCabe - 2010 - Foundations of Physics 40 (6):629-637.
First Order Mathematical Logic. [REVIEW]P. K. H. - 1968 - Review of Metaphysics 21 (3):556-556.
What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript

Analytics

Added to PP
2021-11-17

Downloads
3 (#1,717,189)

6 months
3 (#984,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references