@book{1754,
	author = {Church, Alonzo,},
	title = {Introduction to mathematical logic.},
	publisher = {Princeton University Press,},
	year = {1956-},
	series = {Princeton mathematical series, 17},
	address = {Princeton,},
	note = {Vol. 1, "A revised and much enlarged edition of Introduction to mathematical logic ... which was published in 1944 as one of the Annals of mathematics studies."}
}