Spörk, Christoph: Algorithms for Quantified Cut-Introduction

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

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

39.34 EUR
Preis aktualisiert am: 22-04-2026 05:44:02
Siehe Produktangebot

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

39.90 EUR
Preis aktualisiert am: 21-04-2026 19:56:25
Siehe Produktangebot
Bezeichner
ISBN Christoph Spörk 363985229X
Abmessungen / Gewicht
Hauptmerkmale
Christoph Spörk