@book{2450,
	author = {Church, Alonzo},
	title = {Introduction to mathematical logic.},
	publisher = {Princeton University Press, 1c1956},
	address = {Princeton}
}