Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie.

Author
Goubault-Larrecq, Jean [Browse]
Format
Book
Language
English
Published/​Created
Dordrecht ; Boston : Kluwer Academic, ©1997.
Description
xv, 424 pages : illustrations ; 25 cm.

Availability

Copies in the Library

Location Call Number Status Location Service Notes
Lewis Library - Stacks QA9.54 .G68 1997 Browse related items Request

    Details

    Subject(s)
    Series
    Bibliographic references
    Includes bibliographical references (p. 407-413) and index.
    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.
    ISBN
    • 0792345932 ((alk. paper))
    • 9780792345930 ((alk. paper))
    LCCN
    97018876
    OCLC
    36841601
    Statement on language in description
    Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
    Other views
    Staff view

    Supplementary Information