KUEKER.D.W. ETC.

MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE - NEW YORK Marcel Dekker 1987 - 25X18

511.3 K953