Proof Theory and Automated Deduction
Author:   Jean Goubault-Larrecq ,  Ian Mackie
Publisher:   Kluwer Academic Publishers
Volume:   v. 6
ISBN:  

9780792345930


Pages:   440
Publication Date:   31 May 1997
Format:   Hardback
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Our Price $633.60 Quantity:  
Add to Cart

Share |

Proof Theory and Automated Deduction


Add your own review!

Overview

Full Product Details

Author:   Jean Goubault-Larrecq ,  Ian Mackie
Publisher:   Kluwer Academic Publishers
Imprint:   Kluwer Academic Publishers
Volume:   v. 6
Weight:   0.850kg
ISBN:  

9780792345930


ISBN 10:   0792345932
Pages:   440
Publication Date:   31 May 1997
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   Awaiting stock   Availability explained
The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now