Kaye, Richard. <br/><br/>
The mathematics of logic :  a guide to completeness theorems and their applications / 
Richard, Kaye. 
 - Cambridge :  Cambridge University Press,  2007 
 - xii, 204 p. :  ill. ;  23 cm. 
<br/><br/> Includes index. 
<br/><br/>Includes bibliographical references . 
<br/><br/><label>ISBN: </label>9780521708777 (pbk.) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic, Symbolic and mathematical.<br/>Completeness theorem.