A first course in logic: an introduction to model theory, proof theory, computability, and complexity

New York: Oxford University Press (2004)
  Copy   BIBTEX

Abstract

The ability to reason and think in a logical manner forms the basis of learning for most mathematics, computer science, philosophy and logic students. Based on the author's teaching notes at the University of Maryland and aimed at a broad audience, this text covers the fundamental topics in classical logic in an extremely clear, thorough and accurate style that is accessible to all the above. Covering propositional logic, first-order logic, and second-order logic, as well as proof theory, computability theory, and model theory, the text also contains numerous carefully graded exercises and is ideal for a first or refresher course.

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

Similar books and articles

Mathematical logic and model theory: a brief introduction.A. Prestel - 2011 - New York: Springer. Edited by Charles N. Delzell.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
Modern logic: a text in elementary symbolic logic.Graeme Forbes - 1994 - New York: Oxford University Press.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Logic and Probability.Kenny Easwaran - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):229-253.
Popular lectures on mathematical logic.Hao Wang - 1981 - New York: Dover Publications.
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Mathematical logic: a course with exercises.René Cori - 2000 - New York: Oxford University Press. Edited by D. Lascar.

Analytics

Added to PP
2009-01-28

Downloads
145 (#129,412)

6 months
11 (#238,613)

Historical graph of downloads
How can I increase my downloads?