Barwise, Jon (1977) (ed.), Handbook of Mathematical Logic (Amsterdam: North Holland). A collection of survey articles with references to the 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

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

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: 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 the Gödel first incompleteness theorem in its most general formulation

Boolos, George S. (1993), The Logic of Provability (Cambridge: Cambridge University Press). A detailed account of work 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, 3rd ed. (New York: McGraw-Hill). An introductory textbook, supplying more than enough background for this book

Barwise, Jon (1977) (ed.), Handbook of Mathematical Logic (Amsterdam: North Holland). A collection of survey articles with references to the 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

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

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: 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 the Gödel first incompleteness theorem in its most general formulation

Boolos, George S. (1993), The Logic of Provability (Cambridge: Cambridge University Press). A detailed account of work 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, 3rd ed. (New York: McGraw-Hill). An introductory textbook, supplying more than enough background for this book