Loveland, Donald W. <br/><br/>
Three views of logic:  mathematics, philosophy, and computer science/ 
Donald W. Loveland, Richard E. Hodel, S.G. Sterrett. 
 - xv, 322 pages:  illustrations;  26 cm 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9780691160443 0691160449 140084875X 9781400848751 
<br/><br/><label>LCCN: </label>2013949122 
<br/><br/><label>Nat. Bib. No.: </label>GBB394847  bnb GBB394847  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>016520683  Uk 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Proof theory.<br/>Computable functions.<br/>Nonclassical mathematical logic.
<br/><br/><label>Dewey Class. No.: </label>511.3  / L898t