KUEKER.D.W. ETC. MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE - NEW YORK Marcel Dekker 1987 - 25X18 Dewey Class. No.: 511.3 K953