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

27-07-2026 23:45:07

Access to the deal

39.90 EUR 39.90 EUR

29-07-2026 01:43:29

Access to the deal