Cut Elimination in Categories

Cut Elimination in Categories
Wo zu kaufen (2) Eigenschaften
Gesponsert
Cut Elimination in Categories
Hugendubel
160.49 EUR
Preis aktualisiert am: 10-11-2026 15:31:05
Siehe Produktangebot
Gesponsert
Cut Elimination in Categories
SpringerLink DE
160.49 EUR
Preis aktualisiert am: 12-11-2026 03:51:28
Siehe Produktangebot

Allgemein

ISBN
9789048152261

Eigenschaften

Ähnliche Produkte

Cut Elimination in Categories (Trends in Logic, 6, Band 6)
Cut Elimination in Categories (Trends in Logic, 6, Band 6)
Aus138.40 EUR 4
Produkt anzeigen
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Algorithms for Quantified Cut-Introduction: Introducing quantified cuts in sequent calculus
Aus159.60 EUR 2
Produkt anzeigen
Menü