A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (2004)
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.
|Keywords||Logic Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$159.99 used (16% off) $172.25 new (20% off) $215.00 direct from Amazon Amazon page|
|Call number||QA9.H36 2004|
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
José Luis Bermúdez (2007). Indistinguishable Elements and Mathematical Structuralism. Analysis 67 (294):112-116.
Similar books and articles
Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore (2001). The Prospects for Mathematical Logic in the Twenty-First Century. Bulletin of Symbolic Logic 7 (2):169-196.
René Cori (2000). Mathematical Logic: A Course with Exercises. Oxford University Press.
George Boolos, John Burgess, Richard P. & C. Jeffrey (2007). Computability and Logic. Cambridge University Press.
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Kenny Easwaran (2010). Logic and Probability. Journal of the Indian Council of Philosophical Research 27 (2):229-253.
John N. Crossley (ed.) (1972/1990). What is Mathematical Logic? Dover Publications.
Graeme Forbes (1994). Modern Logic: A Text in Elementary Symbolic Logic. Oxford University Press.
A. S. Troelstra (2000). Basic Proof Theory. Cambridge University Press.
Added to index2009-01-28
Total downloads97 ( #15,141 of 1,410,540 )
Recent downloads (6 months)1 ( #178,988 of 1,410,540 )
How can I increase my downloads?