Manaster, Alfred B. <br/><br/>
Completeness compactness and undecidability  An introduction to mathematical logic / 

 - New Delhi :  Prentice Hall ,  1978. 
 - vi+154  23cms