@book{9334,
	author = {Andrews, Peter, B.},
	title = {Introduction to mathematical logic and type theory: to truth through proof},
	publisher = {Academic Press},
	year = {1986},
	series = {Computer science and applied mathematics},
	address = {New York}
}