@book{5303,
	author = {Davis, R. E.},
	title = {Truth, deduction, and computation : Logic and semantics for},
	publisher = {Computer Science Press,},
	year = {1989},
	address = {New York,USA:}
}