PakCat catalogue record Godels proof By Nagel, Ernest Bibliographic details PublisherNew York University Press Publication placeNew York Publication year1968 Material typeBook Physical description115 Additional authorsNewman, James R. SubjectsGodels theorem