Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics, Band 7)

Ein fundiertes Werk über höhere kategoriale Logik, das komplexe Strukturen wie Funktoren, Natürliche Transformationen und Typentheorie elegant erkl ...
Gesponsert
94.49 EUR
Preis aktualisiert am: 10-11-2026 18:23:02
Gesponsert
94.49 EUR
Preis aktualisiert am: 10-11-2026 13:32:48

Allgemein

Marke
J. Lambek
ISBN
J. Lambek 0521356539

Eigenschaften

Menü