00464nam a2200133Ia 4500082001900000100001600019245014200035260002600177300001500203490003100218500005400249500000500303700002200308  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  aMeltzer, B. ; tr.