@book{31993,
	author = {Enderton, Herbert B},
	title = {A Mathematical Introduction To Logic /},
	publisher = {Academic Press,},
	year = {2001.},
	address = {USA:},
	edition = {2nd Ed.}
}