Goal-Directed Proof Theory - Applied Logic Series - Dov M. Gabbay - Books - Springer - 9789048155262 - December 4, 2010
In case cover and title do not match, the title is correct

Dov M. Gabbay
Goal-Directed Proof Theory - Applied Logic Series Softcover reprint of the original 1st ed. 2000 edition

Price
Íkr 15,399
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 4 - 18
Get notified about new Dov M. Gabbay releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

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.

268 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 4, 2010
ISBN13 9789048155262
Publishers Springer
Pages 268
Dimensions 155 × 235 × 14 mm   ·   394 g
Language English  

More by Dov M. Gabbay

Show all

More from the same publisher

See all of Dov M. Gabbay ( e.g. Hardcover Book , Paperback Book and Book )