Recomienda este artículo a tus amigos:
Handbook of Tableau Methods Marcello D\'agostino 1999 edition
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
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 31 de marzo de 1999 |
| ISBN13 | 9780792356271 |
| Editores | Springer |
| Páginas | 670 |
| Dimensiones | 156 × 234 × 36 mm · 1,19 kg |
| Lengua | Inglés |
| Editor | D'Agostino, M. |
| Editor | Gabbay, Dov M. |
| Editor | Hahnle, Reiner |
| Editor | Posegga, J. |