Handbook of Tableau Methods - Marcello D\'agostino - Książki - Springer - 9780792356271 - 31 marca 1999
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Handbook of Tableau Methods 1999 edition

Marcello D\'agostino

Cena
zł 1.025,90

Zamówione z odległego magazynu

Przewidywana dostawa 10 - 19 lut
Dodaj do swojej listy życzeń iMusic

Handbook of Tableau Methods 1999 edition

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