@book{41206,
	author = {Enderton, Herbert B.},
	title = {A mathematical introduction to logic},
	publisher = {Academic Press,},
	year = {1972},
	address = {New York :}
}