Papers

Résumé du livre

The collection includes correspondence between Boolos and Richard G. Heck concerning Die Grundlagen der Arithmetic, by Gottlob Frege, drafts of Boolos's two books, course notes (24.118 Paradox and Infinity; 24.221 Metaphysics; 24.241 Logic I; 24.242 Logic II; 24.243 Classical Set Theory), and copies of Boolos's published articles. Also included are Boolos's A.B. and Ph. D. theses, "A Simple Proof of Goedel's First Incompleteness Theorem," 1961, and "The Hierarchy of Constructable Sets of Integers," 1966. Correspondence and course notes series contain item indexes at the beginning of each folder.