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.
Includes index.
Bibliography: p. 149-150.
0131646249 : $12.00
74022481
Logic, Symbolic and mathematical.
Predicate calculus
511.3 / M267c
Completeness, compactness, and undecidability: an introduction to mathematical logic/ Alfred B. Manaster. - Englewood Cliffs, N.J.: Prentice-Hall, [1975]. - vi, 154 p. ; 24 cm.
Includes index.
Bibliography: p. 149-150.
0131646249 : $12.00
74022481
Logic, Symbolic and mathematical.
Predicate calculus
511.3 / M267c