@book{95191,
	author = {Gödel, Kurt.},
	title = {On formally undecidable propositions of Principia mathematica and related systems.},
	publisher = {Basic Books},
	year = {[c1962]},
	address = {New York},
	note = {Translation of paper entitled Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, published in the Monatshefte für Mathematik und Physik, v. 38, p. 173-198, 1931.}
}