Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
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)
Proof theory
[Browse]
Automatic theorem proving
[Browse]
Related name
Mackie, I. (Ian)
[Browse]
Series
Applied logic series ; v. 6.
[More in this series]
Applied logic series ; v. 6
[More in this 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.
Show 8 more Contents items
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
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie.
id
SCSB-3603191