@book{41362,
	author = {Cohen, Daniel E.},
	title = {Computability and logic /},
	publisher = {E. Horwood ;},
	year = {1987.},
	series = {Mathematics and its applications},
	address = {Chichester, West Sussex, England :},
	note = {Includes index.}
}