Proof Theory and Automated Deduction - Applied Logic Series - Jean Goubault-Larrecq - Books - Kluwer Academic Publishers - 9781402003684 - November 30, 2001
In case cover and title do not match, the title is correct

Jean Goubault-Larrecq
Proof Theory and Automated Deduction - Applied Logic Series Softcover reprint of the original 1st ed. 1997 edition

Price
$ 55.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

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

A new attitude to applied logic has evolved, where researchers tailor a logic for their own use in the same way they define a computer language, and where auto­ mated deduction for the logic and its fragments is as important as the logic itself.

444 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 30, 2001
ISBN13 9781402003684
Publishers Kluwer Academic Publishers
Pages 444
Dimensions 155 × 235 × 22 mm   ·   1.37 kg
Language English  

Mere med samme udgiver

See all of Jean Goubault-Larrecq ( e.g. Paperback Book and Hardcover Book )