Patarin, Jacques Set theory and mathematical logic. From infinite mathematics to Gödel’s theorems. (Théorie des ensembles et logique mathématique. Des infinis mathématiques aux théorèmes de Gödel.) (French) Zbl 1451.03002 Références Sciences. Paris: Ellipses (ISBN 978-2-340-04100-4/pbk). viii, 292 p. (2020). MSC: 03-01 03Bxx 03Exx PDFBibTeX XMLCite \textit{J. Patarin}, Théorie des ensembles et logique mathématique. Des infinis mathématiques aux théorèmes de Gödel. Paris: Ellipses (2020; Zbl 1451.03002)
Carl, Merlin; Engelen, Eva-Maria Some remarks by Kurt Gödel on set theory. (Einige Bemerkungen Kurt Gödels zur Mengenlehre.) (German) Zbl 1510.03002 Koenig, Daniel (ed.) et al., Mathematik in der Tradition des Neukantianismus. Siegen: universi – Universitaetsverlag Siegen. Siegen. Beitr. Gesch. Philos. Math. 11, 143-169 (2019). MSC: 03-03 03A05 03E30 01A60 PDFBibTeX XMLCite \textit{M. Carl} and \textit{E.-M. Engelen}, Siegen. Beitr. Gesch. Philos. Math. 11, 143--169 (2019; Zbl 1510.03002)
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.) Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. (English) Zbl 1278.03019 Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-68346-4/pbk; 978-0-511-74094-7/ebook). x, 373 p. (2013). MSC: 03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx PDFBibTeX XMLCite \textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2013; Zbl 1278.03019)
Feferman, Solomon (ed.); Parsons, Charles (ed.); Simpson, Stephen G. (ed.) Kurt Gödel. Essays for his centennial. (English) Zbl 1196.03006 Lecture Notes in Logic 33. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-0-521-11514-8/hbk). x, 373 p. (2010). MSC: 03-06 00A30 00B30 01A60 01A70 03-03 03A05 03Exx 03Fxx PDFBibTeX XMLCite \textit{S. Feferman} (ed.) et al., Kurt Gödel. Essays for his centennial. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (2010; Zbl 1196.03006)
Buldt, Bernd (ed.); Köhler, Eckehart (ed.); Weibel, Peter (ed.); Stöltzner, Michael (ed.); Klein, Carsten (ed.); DePauli-Schimanovich-Göttig, Werner (ed.) Kurt Gödel. Truth and provability. Vol. 2: Compendium on the work. (Kurt Gödel. Wahrheit und Beweisbarkeit. Band 2: Kompendium zum Werk.) (German) Zbl 1028.03002 Wien: öbv & hpt. 445 S. (2002). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-06 03A05 03-03 01A60 83F05 PDFBibTeX XMLCite \textit{B. Buldt} (ed.) et al., Kurt Gödel. Wahrheit und Beweisbarkeit. Band 2: Kompendium zum Werk. Wien: öbv \& hpt (2002; Zbl 1028.03002)