Loveland, Donald W <br/><br/>
Three Views of Logic   Mathematics, Philosophy, and Computer Science 

 - Princeton  Princeton University Press  2014 
 - 322p 
<br/><br/> includes index and biblioraphy 
<br/><br/>1. Proof Theory ................1  Propositional Logic ..............3  Predicate Logic...........31  An Application : Linear resolution and Prolog ...............61  2. Computability Theory ....................93  Overview of Computability ...........95  A machine model of Computability ........123  A mathematical Model of Computability .............165  3. Philosophical Logics...................223  Natural Deduction : Classical and non-Classical ................243  Semantics for relevance Logic: A useful four-valued logic ..............288  Some concluding remarks on the logic of Entailment .....................315   
<br/><br/><label>ISBN: </label>9780691160443  3259 
<br/><br/><label>Dewey Class. No.: </label>N14  / L942