Kniha momentálne nie je na sklade
Viac o knihe
This Handbook of Tableaux explores various tableaux systems across different logical frameworks, combining proof-theoretical and semantical approaches. Authored by leading experts, it reflects current research and is essential for formal logicians seeking to deepen their understanding of this intuitive methodology.
Nákup knihy
Handbook of Tableau Methods, M. D'Agostino, D.M. Gabbay, Reiner Hähnle, J. Posegga
- Jazyk
- Rok vydania
- 1999
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Tu nám chýba tvoja recenzia