@book{16829,
	author = {Godel, Kurt and Meltzer, B. ; tr.},
	title = {On formally undecidable propositions of principia mathematica and related systems},
	publisher = {Dover},
	year = {1992},
	series = {Dover books on Mathematics},
	address = {New York},
	note = {"Purchased under NBHM grant for the year 1998-99"}
}