@book{51532,
	author = {Curry, Haskell B.},
	title = {Foundations of mathematical logic.},
	publisher = {McGraw-Hill},
	year = {[1963]},
	series = {McGraw-Hill series in higher mathematics},
	address = {New York}
}