PakCat catalogue record Completeness, compactness, and undecidability an introduction to mathematical logic By Manaster, Alfred B. Bibliographic details ISBN0131646249 PublisherPrentice-Hall Publication placeEnglewood Cliffs, N.J. Publication year1975 Physical descriptionvi, 154 p. SubjectsLogic, Symbolic and mathematical., Predicate calculus.