REVIEWS-A first course in logic: An introduction to model theory, proof theory, computability, and complexity

&
Bulletin of Symbolic Logic 13 (4):538-539 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1203350881

Links

PhilArchive



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

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

A first course in logic: an introduction to model theory, proof theory, computability, and complexity.Shawn Hedman - 2004 - New York: Oxford University Press.
Proofs and computations.Helmut Schwichtenberg - 2012 - New York: Cambridge University Press. Edited by S. S. Wainer.
Computability, complexity, logic.Egon Börger - 1989 - New York, N.Y., U.S.A.: Elsevier Science Pub. Co..
Introduction to Computability Theory.D. Normann - 2010
Computability and Complexity: From a Programming Perspective Vol. 21.N. D. Jones - 1997 - MIT Press.
Non-classical logics, model theory, and computability: proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976.Ayda I. Arruda, Newton C. A. Costa & R. Chuaqui (eds.) - 1977 - New York: sale distributors for the U.S.A. and Canada, Elsevier/North-Holland.
Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
Bounded arithmetic, propositional logic, and complexity theory.Jan Krajíček - 1995 - New York, NY, USA: Cambridge University Press.
Elements of Finite Model Theory.Leonid Libkin - 2004 - Springer.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Remarks on the development of computability.Stewart Shapiro - 1983 - History and Philosophy of Logic 4 (1-2):203-220.
What is mathematical logic?John Newsome Crossley (ed.) - 1972 - New York: Dover Publications.
Main trends in mathematical logic after the 1930s : Set theory, model theory, and computability theory.Wilfrid Hodges - 2011 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
Computability, an introduction to recursive function theory.Nigel Cutland - 1980 - New York: Cambridge University Press.

Analytics

Added to PP
2013-10-29

Downloads
18 (#837,247)

6 months
5 (#648,018)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Alasdair Urquhart
University of Toronto, St. George Campus

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references