Powiedz znajomym o tym przedmiocie:
Handbook of Tableau Methods 1999 edition
Marcello D\'agostino
Handbook of Tableau Methods 1999 edition
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 | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
Wydane | 31 marca 1999 |
ISBN13 | 9780792356271 |
Wydawcy | Springer |
Strony | 670 |
Wymiary | 156 × 234 × 36 mm · 1,19 kg |
Redaktor | D'Agostino, M. |
Redaktor | Gabbay, Dov M. |
Redaktor | Hahnle, Reiner |
Redaktor | Posegga, J. |
Pokaż wszystko
Więcej od Marcello D\'agostino
Zobacz wszystko od Marcello D\'agostino ( np. Hardcover Book i Paperback Book )