@book{23095,
	author = {George S.Boolos and John P.Burgess},
	title = {Computability and Logic},
	publisher = {Cambridge University Press,},
	year = {2002},
	address = {Cambridge,USA:},
	edition = {4th}
}