@book{39378,
	author = {Wolf, Robert S. and ebrary, Inc.},
	title = {A tour through mathematical logic},
	publisher = {Mathematical Association of America,},
	year = {c2005.},
	series = {The Carus mathematical monographs ;},
	address = {Washington, D.C. :},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10722461}
}