Jane Rickson; Santanu Bakshi; Chumki Banik; Zhenli He; R. J. Rickson; E. Dowdeswell Downey; G. Alegbeleye; S. E. Cooper Burleigh Dodds Science Publishing Limited (2022) 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) 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) 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) Kovakantinen kirja
Dr. Stephen B Hulley; Steven R Cummings; Warren S Browner; Deborah G Grady; Thomas B Newman Lippincott Williams and Wilkins (2013) Pehmeäkantinen kirja