@book{13133,
	author = {Davis, Martin.},
	title = {Computability and unsolvability /},
	publisher = {McGraw-Hill book company,},
	year = {1958.},
	address = {New York :}
}