846559
9780792364733
Goal-Directed Proof Theory
by Gabbay, Dov M., Olivetti, Nicola
31245
List Price
Discount
42% Off
You Save
$75.83
About this item
- Condition: New
- Provider: LightningBooks
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
370333
List Price
Discount
5% Off
You Save
$10.48
About this item
- Condition: Good
- Provider: Bonita
- Provider Rating: 0%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Product details
- ISBN-13: 9780792364733
- ISBN: 0792364732
- Publisher: Springer
AUTHOR
SUMMARY
Goal Directed Proof Theory presents a uniform methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The text can be used as an introduction to logical systems.Gabbay, Dov M. is the author of 'Goal-Directed Proof Theory' with ISBN 9780792364733 and ISBN 0792364732.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
