•  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

Logic, Induction and Sets

Thomas Forster
Livre broché | Anglais | London Mathematical Society Student Texts | n° 56
55,45 €
+ 110 points
Format
Livraison 1 à 2 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.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
246
Langue:
Anglais
Collection :
Tome:
n° 56

Caractéristiques

EAN:
9780521533614
Date de parution :
21-07-03
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
154 mm x 228 mm
Poids :
335 g

Les avis