Bookbot

Handbook of Tableau Methods

Boekbeoordeling

5,0(1)Tarief

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

5,0
Uitstekend
1 Beoordelingen

We missen je recensie hier.