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

23-04-2026 06:11:49

Access to the deal

39.90 EUR 39.90 EUR

22-04-2026 21:29:53

Access to the deal