@book{55124,
	author = {Yasuhara, Ann.},
	title = {Recursive function theory and logic},
	publisher = {Academic Press,},
	year = {1971},
	series = {Computer science and applied mathematics},
	address = {New York :}
}