Computability and Logic

Annotated Bibliography
General Reference Works
BARWISE, JON (1977) (ed.), Handbook of Mathematical Logic (Amsterdam: North Holland). A collection
of survey articles with references to further specialist literature, the last article being an
exposition of the Paris–Harrington theorem.
GABBAY, DOV, and GUENTHNER, FRANZ (1983) (eds.), Handbook of Philosophical Logic (4 vols.)
(Dordrecht: Reidel). A collection of survey articles covering classical logic, modal logic and allied
subjects, and the relation of logical theory to natural language. Successive volumes of an openended,
much-expanded second edition have been appearing since 2001.
VAN HEIJENOORT, JEAN (1967) (ed.), From Frege to Gödel: A Source Book in Mathematical Logic,
1879–1931 (Cambridge, Massachusetts: Harvard University Press). A collection of classic papers
showing the development of the subject from the origins of truly modern logic through the
incompleteness theorems.
Textbooks and Monographs
ENDERTON, HERBERT (2001), A Mathematical Introduction to Logic, 2nd ed. (New York: Harcourt/
Academic Press). An undergraduate textbook directed especially to students of mathematics and
allied fields.
KLEENE,STEVEN COLE (1950), Introduction to Metamathematics (Princeton: D. van Nostrand). The
text from which many of the older generation first learned the subject, containing many results still
not readily found elsewhere.
SHOENFIELD, JOSEPH R. (1967), Mathematical Logic (Reading, Massachusetts: Addison-Wesley).
The standard graduate-level text in the field.
TARSKI, ALFRED, MOSTOWSKI, ANDRZEJ, and ROBINSON, RAPHAEL (1953), Undecidable Theories
(Amsterdam: North Holland). A treatment putting Gödel’s first incompleteness theorem in its most
general formulation.
By the Authors
BOOLOS,GEORGE S. (1993), The Logic of Provability (Cambridge, U.K.: Cambridge University Press).
A detailed account of work on the modal approach to provability and unprovability introduced in
the last chapter of this book.
JEFFREY, RICHARD C. (1991), Formal Logic: Its Scope and Limits, 4th ed. (Indianapolis: Hackett).
An introductory textbook, supplying more than enough background for this book.
341