Gödel's proof
by Ernest Nagel and James R. Newman
Routledge & K. Paul, 1981, c1958
大阪公立大学 杉本図書館図
N410.1//N12//1F-3827,F-3828
OPAC
九州大学 中央図書館
116.3/N 26/1058211981054180
神戸女学院大学 図書館
0366946
名古屋大学 附属図書館中央図1F
410.1||N50012895
北海道大学 大学院理学研究科・理学部図書室図書
DC16:500/N1312021049756
北海道大学 附属図書館図
DC16:164/N1270025276100
Includes bibliographies