Semantics of Type Theory, Progress in Theoretical Computer Science
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Sponsorisé Semantics of Type Theory: Correctness, Completeness, and Independence Results - T. Streicher
3.19 EUR
Prix mis à jour le: 15-08-2025 09:34:24
3.19 EUR
Prix mis à jour le: 15-08-2025 09:34:24
Sponsorisé Semantics of Type Theory, Progress in Theoretical Computer Science
260.55 EUR
Prix mis à jour le: 07-03-2025 12:47:13
260.55 EUR
Prix mis à jour le: 07-03-2025 12:47:13 | Identifiants | |
|---|---|
| ISBN | Birkhauser 0817635947 |
| Dimensions / poids | |
| Fonctionnalités clés | |
Birkhauser





