@book{7483,
	author = {Church, Alonzo,},
	title = {Introduction to mathematical logic /},
	publisher = {Princeton University Press.,},
	year = {1956 [Printing 1962, 1965]},
	series = {Princeton Mathematical series},
	address = {New Jersey :}
}