Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus

39.34 EUR 1% Off 39.90 EUR

Marke: Christoph Spörk

ISBN: 363985229X

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus

39.34 EUR 39.90 EUR

11-06-2026 01:45:50

Access to the deal

39.90 EUR 39.90 EUR

11-06-2026 11:36:19

Access to the deal