Amazon cover image
Image from Amazon.com

Three Views of Logic Mathematics, Philosophy, and Computer Science

By: Contributor(s): Material type: TextTextPublication details: Princeton Princeton University Press 2014Description: 322pISBN:
  • 9780691160443
DDC classification:
  • N14 L942
Partial contents:
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
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Books Books DVK Library Stack -> Second Floor -> N N14 L942 (Browse shelf(Opens below)) Available 11073897

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.

to post a comment.

Powered by Koha