Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Handbook of Tableau Methods, M. D'Agostino, D.M. Gabbay, Reiner Hähnle, J. Posegga
- Sprache
- Erscheinungsdatum
- 1999
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Hier könnte deine Bwertung stehen.