Pastāsti draugiem par šo preci:
Handbook of Tableau Methods M D\'agostino Softcover reprint of hardcover 1st ed. 1999 edition
Handbook of Tableau Methods
M 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.
678 pages, 2 black & white illustrations, biography
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2010. gada 7. decembris |
| ISBN13 | 9789048151844 |
| Izdevēji | Springer |
| Lapas | 670 |
| Izmēri | 160 × 231 × 36 mm · 934 g |
| Redaktors | D'Agostino, M. |
| Redaktors | Gabbay, Dov M. |
| Redaktors | Hahnle, Reiner |
| Redaktors | Posegga, J. |