TY  - BOOK
AU  - Loveland, Donald W
AU  - Hodel,Richard E
AU  - Sterrett,S G
TI  - Three Views of Logic:  Mathematics, Philosophy, and Computer Science
SN  - 9780691160443
U1  - N14 
PY  - 2014///
CY  - Princeton
PB  - Princeton University Press
N1  - includes index and biblioraphy; 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
ER  -