Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Handbook of Tableau Methods, M. D'Agostino, D.M. Gabbay, Reiner Hähnle, J. Posegga
- Langue
- Année de publication
- 1999
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.