Kurt Gödel; S. Feferman; Dawson, Jr., John W.; Stephen C. Kleene; G. Moore; R. Solovay; Jean van Heijenoort Oxford University Press (2001) Saatavuus: Tilaustuote Pehmeäkantinen kirja
Kurt Gödel; S. Feferman; Dawson, Jr., John W.; Stephen C. Kleene; G. Moore; R. Solovay; Jean van Heijenoort Oxford University Press Inc (1986) Saatavuus: Tilaustuote Kovakantinen kirja
Kurt Gödel; S. Feferman; Dawson, Jr., John W.; Stephen C. Kleene; G. Moore; R. Solovay; Jean van Heijenoort Oxford University Press Inc (1990) Saatavuus: Tilaustuote Kovakantinen kirja
C. Dekker; G. Asaert; W. Nijenhuis; P. Van Peteghem; D. J. Roorda; C. R. Emery; K. W. Swart; K. Van Der Pols Springer (1980) Saatavuus: Loppuunmyyty Kovakantinen kirja