@book{152846,
	author = {Chiswell Ian and Hodges Wilfrid},
	title = {Mathematical logic},
	publisher = {Oxford  University Press},
	year = {2007},
	address = {New York}
}