Théorie de la récursivité pour la métamathématique
Raymond M. Smullyan- 15/09/1995
- Elsevier Masson
Résumé
Expose les relations entre les notions de calculabilité, décidabilité, cohérence, contradiction..., qui dépassent le cadre strict des mathématiques (elles sont métamathématiques).
Caractéristiques
- Éditions : Elsevier Masson
- Auteur : Raymond M. Smullyan
- Nombre de pages : 176
- ISBN : 9782225848605
- Date de publication : 15 septembre 1995
- Dimensions (L x H x E cm) : 16 X 24 X 1.1
- Poids (g) : 319
- Reliure : Broché
Produit indisponible !
Nous n'avons plus d'exemplaire disponible pour le moment mais chaque jour nous remettons plus de 8000 produits en stock.
Produit indisponible !
