1. 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
2. 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
3. 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
4. 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
5. 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