Manaster, Alfred B. ,  1938- <br/><br/>
Completeness, compactness, and undecidability :  an introduction to mathematical logic / 
Alfred B. Manaster 
 - Englewood Cliffs :  Prentice-Hall,  c1975 
 - vi, 154 p. :  ill. ;  23 cm. 
<br/><br/> Library has 2 cops. 
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>0131646249 :  USD 9.25 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical<br/>Predicate calculus
<br/><br/><label>Dewey Class. No.: </label>164