@book{126098,
	author = {Curry, Haskell B.},
	title = {Foundations of mathematical logic /},
	publisher = {McGraw-Hill,},
	year = {1963.},
	address = {New York:}
}