Godel, Kurt On formally undecidable propositions of principia mathematica and related systems Introduction by R. B. Braithwaite. Tr. by B. Meltzer - New York Dover 1992 - viii, 1992 - Dover books on Mathematics . "Purchased under NBHM grant for the year 1998-99" Dewey Class. No.: 510.9 / G581.OF