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

Gesponsert
39.34 EUR
Preis aktualisiert am: 27-04-2026 04:00:32
Gesponsert
39.90 EUR
Preis aktualisiert am: 26-04-2026 21:32:54

Allgemein

Marke
Christoph Spörk
ISBN
Christoph Spörk 363985229X

Eigenschaften

Menü