Computability and logic, fifth edition

Computability and Logic, Fifth Edition

Volumn , Issue , 2007, Pages 1-350

  Boolos, George S ^a   Burgess, John P ^b   Jeffrey, Richard C ^a  

^a Princeton University ^*

^b PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84925147268     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9780511804076     Document Type: Book

References (9)

1. 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.
2. 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 open- ended, much-expanded second edition have been appearing since 2001.
3. VANHEIJENOORT Jean (1967) (ed.), From Frege to Godel: 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.
4. 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.
5. 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.
6. Shoenfield, Joseph R. (1967), Mathematical Logic (Reading, Massachusetts: Addison-Wesley). The standard graduate-level text in the field.
7. Tarski, Alfred, Mostowski, Andrzej, and Robinson, Raphael (1953), Undecidable Theories (Amsterdam: North Holland). A treatment putting Godel’s first incompleteness theorem in its most general formulation.
8. 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.
9. 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.