Record:   Prev Next
Author Mostowski, Andrzej
Title Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Imprint Amsterdam : North-Holland Pub., 1952
LOCATION CALL # STATUS OPACMSG BARCODE
 Mathematics Library  BC135 .M6    AVAILABLE    30340200024036
 Mathematics Library  BC135 .M6 c.2  AVAILABLE    30340200022782
Record:   Prev Next