Amazon cover image
Image from Amazon.com
Image from Google Jackets

Proof theory and automated deduction

By: Contributor(s): Material type: TextTextLanguage: English Series: Applied logic seriesPublication details: Boston Kluwer Academic 1997Description: xv, 424pISBN:
  • 0792345932
Subject(s):
Contents:
Ch. 1. Introduction Ch. 2. Classical Propositional Logic Ch. 3. Other Propositional Logics Ch. 4. The Curry-Howard Correspondence Ch. 5. Modal and Temporal Logics Ch. 6. First-Order Classical Logic Ch. 7. Resolution Ch. 8. Tableaux, Connections and Matings Ch. 9. Incorporating Knowledge Ch. 10. Logic Programming Languages App. B. Basics of Topology
Item type: BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Home library Call number Materials specified Status Date due Barcode
IMSc Library 510.6 GOU (Browse shelf(Opens below)) Available 35815

Includes bibliographical references (p. 407-413) and index.

Ch. 1. Introduction
Ch. 2. Classical Propositional Logic
Ch. 3. Other Propositional Logics
Ch. 4. The Curry-Howard Correspondence
Ch. 5. Modal and Temporal Logics
Ch. 6. First-Order Classical Logic
Ch. 7. Resolution
Ch. 8. Tableaux, Connections and Matings
Ch. 9. Incorporating Knowledge
Ch. 10. Logic Programming Languages
App. B. Basics of Topology

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India