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/>Bibliography : p. 149-150 
<br/><br/><label>ISBN: </label>0131646249 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Predicate calculus