Handbook of Tableau Methods - Marcello D\'agostino - Books - Springer - 9780792356271 - March 31, 1999
In case cover and title do not match, the title is correct

Marcello D\'agostino
Handbook of Tableau Methods 1999 edition

Price
NZ$ 403
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 20 - Sep 7
Get notified about new Marcello D\'agostino 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

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

670 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 31, 1999
ISBN13 9780792356271
Publishers Springer
Pages 670
Dimensions 156 × 234 × 36 mm   ·   1.19 kg
Language English  
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.

More from the same publisher

See all of Marcello D\'agostino ( e.g. Hardcover Book and Paperback Book )