Stephen J. Pape; Camilla L. Bryant; Ranjini Mahinda JohnBull; Karen S. Karp Myers Education Press (2023) Saatavuus: Hankintapalvelu 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 (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