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

Handbook of Tableau Methods 1999 edition

Marcello D\'agostino

Price
$ 236.49

Ordered from remote warehouse

Expected delivery Feb 7 - 20

Our customers say:

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

Handbook of Tableau Methods 1999 edition

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
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.
Show all

More by Marcello D\'agostino

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