Completeness, compactness and Undecidability
510 MAN |
Manaster, Alfred B. . |
U854 |
Completeness, compactness and Undecidability : an introduction to mathematical logic / Alfred B. Manaster.
– New Delhi : Prentice-Hall of India, 1978.
iv, 154 p. . MATHAMATICS . [Title] |