Three Views of Logic Mathematics, Philosophy, and Computer Science
Material type: TextPublication details: Princeton Princeton University Press 2014Description: 322pISBN:- 9780691160443
- N14 L942
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Books | DVK Library Stack -> Second Floor -> N | N14 L942 (Browse shelf(Opens below)) | Available | 11073897 |
Browsing DVK Library shelves, Shelving location: Stack -> Second Floor -> N Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
N14 L585 Symbolic Logic | N14 L585 Symbolic Logic | N14 L585 Papers in Philosophical Logic | N14 L942 Three Views of Logic | N14 M264 Naturalism in Mathematics | N14 N725 Schaum`s Outline of Theory and Problems of Logic | N14 OD300 The Mathematical Century |
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
There are no comments on this title.