Manaster, Alfred B.,  1938- <br/><br/>
Completeness, compactness, and undecidability:  an introduction to mathematical logic/ 
Alfred B. Manaster. 
 - Englewood Cliffs, N.J.:  Prentice-Hall,  [1975]. 
 - vi, 154 p. ;  24 cm. 
<br/><br/> Includes index. 
<br/><br/>Bibliography: p. 149-150. 
<br/><br/><label>ISBN: </label>0131646249 :  $12.00 
<br/><br/><label>LCCN: </label>74022481 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Predicate calculus
<br/><br/><label>Dewey Class. No.: </label>511.3  / M267c