Kurt Gödel, Collected Works, Vol. IV: Correspondence A–G, Vol. V: Correspondence H. Ed. by Solomon Feferman et al. Oxford: Clarendon Press 2003
V. Peckhaus, Historia Mathematica 50 (2020) 87–90.