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