1. Barendregt 1996: ‘Kreisel, lambda calculus, a windmill and a castle’. Henk Barendregt, in der Festschrift für Kreisels 70. Geburtstag, [Odifreddi (1996)]. Im Internet beim Archiv der University of Nijmegen: https://repository.ubn.ru.nl/bitstream/handle/2066/17292/17292.pdf.
2. Budiansky 2021: Journey to the Edge of Reason: The Life of Kurt Gödel. Stephen Budiansky, W.W. Norton/Oxford Univ. Press/Ullstein (2021). ISBN: 978-1-324-00544-5.
3. Carnap 1934/37: ‚Logische Syntax der Sprache‘. Rudolf Carnap, Springer, Vienna (1934). Übersetzt von Amethe Smeaton als ‘The Logical Syntax of Language’. Rudolf Carnap, Routledge, London (1937).
4. Conradi 2001:’Iris Murdoch: A Life’. Peter Conradi, Harper-Collins (2001), S. 264–65.Crocco 2003: 'Gödel, Carnap, and the Fregean Heritage', Gabriella Crocco, in Synthese, Band 137, nr. 1-2 (2003), S. 21-41.
5. Dawson 1997: Logical Dilemmas: The Life and Work of Kurt Gödel. John W. Dawson, Jr., Taylor & Francis; Auflage CRC Press (2005). ISBN 1-568-8-1256-6. [Deutsche Version (ISBN-13: 978-067-1-73335-3), Übersetzer J. Kellner, Springer 1999].