Three views of logic : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel and S.G. Sterrett.
Material type:
TextPublication details: Princeton : PUP, c2014.Description: xv, 322 p. : illustrations ; 26 cmISBN: - 9780691160443 (pbk. : acidfree paper)
- 511.3 23 L898
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 L898 (Browse shelf(Opens below)) | Available | 135516 |
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 511.3 L832C Models and sets | 511.3 L832C Computation and proof theory | 511.3 L863 Fuzzy logic for planning and decision making | 511.3 L898 Three views of logic : | 511.3 L941 Extensional Godel functional interpretation | 511.3 L962 Power of interaction | 511.3 M116 Form logic to computing |
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.
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.
There are no comments on this title.
