Kaye, Richard W.  <br/><br/>
Mathematics of Logic: A Guide to Completeness Theorems and their Applications 

 - Cambridge (U. K)  Cambridge University Press  2007 
 - xii, 204p. 
<br/><br/><label>ISBN: </label>9780521708777 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical
<br/><br/><label>Dewey Class. No.: </label>511.3  / Kay