Author :
Manaster, Alfred B., 1938-
Title :
Completeness, compactness, and undecidability
Author Statement :
Alfred B. Manaster
Publication :
Prentice-Hall of India
Collation :
vi, 154 p. ; 24 cm
Subject :
Logic, Symbolic and mathematical , Predicate calculus
SubTitle :
an introduction to mathematical logic
Index :
Bibliography: p. 149-150
