Completeness, compactness, and undecidability : an introduction to mathematical logic /
Manaster, Alfred B., 1938-
Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster - Englewood Cliffs, N.J. : Prentice-Hall, 1975 - vi, 154 p. ; 24 cm.
Bibliography : p. 149-150
0131646249
Logic, Symbolic and mathematical
Predicate calculus
Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster - Englewood Cliffs, N.J. : Prentice-Hall, 1975 - vi, 154 p. ; 24 cm.
Bibliography : p. 149-150
0131646249
Logic, Symbolic and mathematical
Predicate calculus
