@book{5715,
	author = {Wolf, Robert S.},
	title = {A tour through mathematical logic},
	publisher = {Mathematical Association of America},
	year = {2005},
	address = {America}
}