Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic

First edition, first printing hardcover of Completeness, Compactness, and Undecidability: An Introduction to Mathematical Logic by Alfred B. Manaster, published by Prentice-Hall in 1975. Includes the original dust jacket. A respected and accessible introduction to classical mathematical logic, covering sentential and predicate logic, compactness, completeness, and undecidability. Widely used by graduate students and researchers in mathematics, theoretical computer science, and philosophy of logic. The book itself is in very good condition with a tight binding and clean, unmarked pages. The dust jacket is present and intact, showing moderate edge wear consistent with age. A desirable jacketed copy of a classic Prentice-Hall logic text.