00720nam a2200193Ia 4500082001900000100001600019245014200035260002600177300001500203490003100218500005400249500000500303690000600308700002200314952014600336964001700482921001000499999001700509  a510.9bG581.OF  aGodel, Kurt  aOn formally undecidable propositions of principia mathematica and related systemsbcIntroduction by R. B. Braithwaite. Tr. by B. Meltzer  aNew YorkbDoverc1992  aviii, 1992  aDover books on Mathematics  a"Purchased under NBHM grant for the year 1998-99"  a  a   aMeltzer, B. ; tr.  00104070aISIbISId1999-05-19eHBAg254.90l0o510.9 G581.OFpDP23839r2019-02-14 00:00:00w2019-02-14yBKzOrd num:300; Ord dt:1998-10-12  abcdefg  a16829  c16829d16829