TY  - BOOK
AU  - Godel, Kurt
AU  - Meltzer, B. ; tr.
TI  - On formally undecidable propositions of principia mathematica and related systems
T2  - Dover books on Mathematics
U1  - 510.9 
PY  - 1992///
CY  - New York
PB  - Dover
N1  - "Purchased under NBHM grant for the year 1998-99"
ER  -