- Retrait en 2 heures
- Assortiment impressionnant
- Paiement sécurisé
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.0000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Livres écrits par 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
135,95 €Livraison 2 à 3 semaines135,95 €Livraison 2 à 3 semaines -
A Modern Perspective on Type Theory
F D Kamareddine, T Laan, Rob Nederpelt
- Livre broché | 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
213,95 €Livraison 2 à 3 semaines213,95 €Livraison 2 à 3 semaines
3 sur 3 résultat(s) affiché(s)