Knihobot

Handbook of Tableau Methods

Hodnotenie knihy

5,0(1)Ohodnotiť

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

5,0
Výborná
1 Hodnotenie

Tu nám chýba tvoja recenzia