Quine, Willard Van Orman. <br/><br/>
Mathematical logic. 

 - Cambridge  Harvard University Press  1955. 
 - xii,346 p. 
<br/><br/>Includes index and bibliographical references.