@book{21439,
	author = {Curry Haskell, B.},
	title = {Foundation of mathamatics logic},
	publisher = {Mcgraw hill},
	year = {1963}
}