Loveland, Donald W. <br/><br/>
Three views of logic:  mathematics, philosophy, and computer science/ 

 - Princeton, New Jersey:  Princeton University Press,   c2014. 
 - xv, 322 pages :  illustrations ;  26 cm. 
<br/><br/>Includes bibliographical references and index.