Heinzmann, Gerhard; Proust, Joëlle Carnap et Gödel: Échange de lettres autour de la définition de l’analyticité. Introduction, traduction et notes. (Carnap and Gödel: Correspondence on the definition of analyticity. Introduction, translation and notes). (French) Zbl 0738.03001 Logique Anal., Nouv. Sér. 31, No. 123-124, 257-291 (1988). MSC: 03-03 History of mathematical logic and foundations 01A60 History of mathematics in the 20th century 01A70 Biographies, obituaries, personalia, bibliographies Biographic References: Gödel, Kurt; Carnap, Rudolf PDFBibTeX XMLCite \textit{G. Heinzmann} and \textit{J. Proust}, Log. Anal., Nouv. Sér. 31, No. 123--124, 257--291 (1988; Zbl 0738.03001)