@book{167535,
	author = {Kaye, Richard.},
	title = {The mathematics of logic :},
	publisher = {Cambridge University Press,},
	year = {2007},
	address = {Cambridge :},
	note = {Includes index.}
}