Tell your friends about this item:
Handbook of Tableau Methods Marcello D\'agostino 1999 edition
Price
$ 209.99
excl. VAT
Ordered from remote warehouse
Expected to be ready for shipping Jun 2 - 8
Our customers say:
Add to your iMusic wish list
Handbook of Tableau Methods
Marcello D\'agostino
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. |
See all of Marcello D\'agostino ( e.g. Hardcover Book and Paperback Book )