TY  - BOOK
AU  - MANASTER, ALFRED B.
TI  - COMPLETENESS, COMPACTNESS,  AND UNDECIDABILITY: AN INTRODUCTION TO MATHEMATICAL LOGIC
SN  - 0131646249
U1  - 511.3 
CY  - ENGLEWOOD
ER  -