Handbook of Tableau Methods - M D\'agostino - Books - Springer - 9789048151844 - December 7, 2010
In case cover and title do not match, the title is correct

Handbook of Tableau Methods Softcover reprint of hardcover 1st ed. 1999 edition

Price
Íkr 26,049
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23
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.


678 pages, 2 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 7, 2010
ISBN13 9789048151844
Publishers Springer
Pages 670
Dimensions 160 × 231 × 36 mm   ·   934 g
Editor D'Agostino, M.
Editor Gabbay, Dov M.
Editor Hahnle, Reiner
Editor Posegga, J.

Mere med samme udgiver