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: 27-07-2026 23:45:07
Siehe Produktangebot

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

39.90 EUR
Preis aktualisiert am: 03-08-2026 09:18:12
Siehe Produktangebot
Bezeichner
ISBN Christoph Spörk 363985229X
Abmessungen / Gewicht
Hauptmerkmale
Christoph Spörk