Completeness, compactness, and undecidability
Subtitle: an introduction to mathematical logic
By: Alfred B. Manaster.
Publisher: Prentice-Hall
Published: 1975
Place of publication: Englewood Cliffs, N.J
Language: eng
Number of pages: 154
Subjects: Logic, Symbolic and mathematical.; Predicate calculus.
Notes: Bibliography: p. 149-150.
Includes index.