@book{8702,
	author = {Church, Alonzo},
	title = {Introduction to mathematical logic},
	publisher = {Princeton University Press,},
	year = {1970},
	series = {Princeton Mathematical series, 17},
	address = {New Jersey:}
}