@book{30370,
	author = {Tourlakis, George J. and ebrary, Inc.},
	title = {Mathematical logic},
	publisher = {Cambridge University Press,},
	year = {2003.},
	series = {Cambridge studies in advanced mathematics ;},
	address = {Cambridge, UK ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10069973}
}