Het boek is momenteel niet op voorraad
Meer over het boek
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.
Een boek kopen
Handbook of Tableau Methods, M. D'Agostino, D.M. Gabbay, Reiner Hähnle, J. Posegga
- Taal
- Jaar van publicatie
- 1999
- product-detail.submit-box.info.binding
- (Hardcover)
Zodra we het ontdekt hebben, sturen we een e-mail.
Betaalmethoden
We missen je recensie hier.