- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Livres écrits par Rob Rob Nederpelt
Tous les livres de Rob Rob Nederpelt
-
A Modern Perspective on Type Theory
F D Kamareddine, T Laan, Rob Nederpelt
- Livre relié | Anglais | Applied Logic | n° 29
- `Towards the end of the nineteenth century, Frege gave us the abstraction principles and the general notion of functions. Self-application of function... Savoir plus
305,45 €Livraison 2 à 3 semaines305,45 €Livraison 2 à 3 semaines -
Type Theory and Formal Proof
Rob Nederpelt, Herman Geuvers
- Livre relié | Anglais
- Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for ... Savoir plus
128,45 €Livraison 2 à 3 semaines128,45 €Livraison 2 à 3 semaines
2 sur 2 résultat(s) affiché(s)