Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)

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

Gesponsert Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)

159.39 EUR
Preis aktualisiert am: 28-08-2026 08:10:33
Siehe Produktangebot
Bezeichner
ISBN H. Simmons 0521771730
Abmessungen / Gewicht
Hauptmerkmale
H. Simmons