| 000 | 00562nam a2200181Ia 4500 | ||
|---|---|---|---|
| 082 |
_a510.9 _bG581.OF |
||
| 100 | _aGodel, Kurt | ||
| 245 |
_aOn formally undecidable propositions of principia mathematica and related systems _b _cIntroduction by R. B. Braithwaite. Tr. by B. Meltzer |
||
| 260 |
_aNew York _bDover _c1992 |
||
| 300 | _aviii, 1992 | ||
| 490 | _aDover books on Mathematics | ||
| 500 | _a"Purchased under NBHM grant for the year 1998-99" | ||
| 500 | _a | ||
| 690 | _a | ||
| 700 | _aMeltzer, B. ; tr. | ||
| 964 |
_a _b _c _d _e _f _g |
||
| 921 | _a16829 | ||
| 999 |
_c16829 _d16829 |
||