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 (pbk. : acidfree paper)
U1  - 511.3 23
PY  - 2014///
CY  - Princeton
PB  - PUP
KW  - Proof theory
KW  - Computable functions
KW  - Nonclassical mathematical logic
N1  - Includes bibliographical references and index; pt. 1. Proof theory / Donald W. Loveland --
1. Propositional logic--
2. Predicate logic--
3. An application: linear resolution and prolog--

pt. 2. Computability theory / Richard E. Hodel --
4. Overview of computability--
5. A machine model of computability--
6. A mathematical model of computability--

pt. 3. Philosophical logic / S.G. Sterrett--
7. Non-classical logics--
8. Natural deduction: classical and non-classical--
9. Semantics for relevance logic: a useful four-valued logic--
10. Some concluding remarks on the logic of entailment--
References--
Index.


N2  - Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this title covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. It presents relevance logic with applications
ER  -