Semantics of Type Theory (Progress in Theoretical Computer Science)

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

Gesponsert Semantics of Type Theory

90.94 EUR
Preis aktualisiert am: 21-04-2026 06:08:21
Bezeichner
ISBN Springer-Verlag GmbH 9781461267577
Abmessungen / Gewicht
Hauptmerkmale
Springer-Verlag GmbH

Die Springer-Verlag GmbH ist ein deutscher Verlag, der vor allem wissenschaftliche und medizinische Fachzeitschriften publiziert. Das Unternehmen wurde 1946 von Kurt und Heinrich Springer gegründet. Heute gehört die Springer-Verlag GmbH zur Axel Springer SE.