@book{16827,
	author = {Davis, Martin},
	title = {Computability and unsolvability},
	publisher = {Dover},
	year = {1982},
	series = {Dover books on Mathematics},
	address = {New York},
	note = {"Purchased under NBHM grant for the year 1998-99"}
}