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

39.90 EUR 75% Off 159.60 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

-75%

Gesponsert Algorithms for Quantified Cut-Introduction, Fachbücher von Christoph Spörk

39.90 EUR 159.60 EUR

17-09-2026 19:32:58

Access to the deal

159.60 EUR 159.60 EUR

17-09-2026 14:17:53

Access to the deal

159.60 EUR 159.60 EUR

20-09-2026 06:24:17

Access to the deal