511.3 / M42
Kueker, David W.
MATHEMATICAL LOGIC AND THEORETICAL COMPUTER SCIENCE
/
.- New York: Marcel Dekker, 1987
.- xviii,383 .
.- ( Lecture Notes In Pure And Applied Mathematics, V. 106
Subject Headings:
Logic, Symbolic And Mathematical;
Electronic Data Processing;
Author Added Entry:
Smith, Carl H.;
Copy Details:
Acc. No.: A95590, Full Call No.: 511.3 M42, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------