Completeness, compactness, and undecidability an introduction to mathematical logic

Bibliographic Details
Main Author:	Manaster, Alfred B.
Format:	Book
Language:	English
Published:	Englewood Cliffs, NJ Prentice-Hall c1975.
Subjects:	Logic, Symbolic and mathematical. Predicate calculus.