00562nam a2200181Ia 4500 510.9 G581.OF 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" Meltzer, B. ; tr. 0 0 0 0 ISI ISI 1999-05-19 HBA 254.90 0 510.9 G581.OF DP23839 2019-02-14 00:00:00 2019-02-14 BK Ord num:300; Ord dt:1998-10-12 16829 16829 16829