En raison de la journée d’action nationale, la livraison de votre commande en ligne pourrait prendre un peu plus de temps que d’habitude. Besoin de quelque chose en urgence ? Réservez-le et récupérez-le deux heures plus tard dans un magasin disposant de stock.

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

Magasins

Wishlist

Magasins

Wishlist

Chercher

Livres

Papeterie

Jeux

Cadeaux

Tous les produits

Ebooks

Carte cadeau Club

Promotions

100,95 €

+ 201 points

Format

Livraison 2 à 3 semaines

Passer une commande en un clic

Payer en toute sécurité

Livraison en Belgique: 3,99 €

Livraison en magasin gratuite

Description

Philosophical considerations, which are often ignored or treated casually, are given careful consideration in this introduction. Thomas Forster places the notion of inductively defined sets (recursive datatypes) at the center of his exposition resulting in an original analysis of well established topics. The presentation illustrates difficult points and includes many exercises. Little previous knowledge of logic is required and only a knowledge of standard undergraduate mathematics is assumed.