Skip to content
Scan a barcode
Scan
Paperback Goal-Directed Proof Theory Book

ISBN: 9048155266

ISBN13: 9789048155262

Goal-Directed Proof Theory

Select Format

Select Condition ThriftBooks Help Icon

Recommended

Format: Paperback

Condition: New

$109.99
50 Available
Ships within 2-3 days

Book Overview

Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical...

Customer Reviews

0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured