511.3 / M311c
Manaster, Alfred B.
COMPLETENESS COMPACTNESS AND UNDECIDABILITY
/ AN INTRODUCTION TO MATHEMATICAL LOGIC
.- Englewood Cliiffs: Prentice-Hall, 1975
.- 154 .
Subject Headings:
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A57467, Full Call No.: 511.3 M311c, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------