•  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.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous
432,45 €
+ 864 points
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

BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
412
Collection :

Caractéristiques

EAN:
9780198534501
Date de parution :
01-09-94
Format:
Livre relié
Dimensions :
166 mm x 244 mm
Poids :
778 g

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.