Chargement...
Chargement...

Théorie de la récursivité pour la métamathématique

Auteur : Raymond M. Smullyan


36,44 €
Chargement...
Livraison à partir de 0,01 €
-5 % Retrait en magasin avec la carte Mollat
en savoir plus

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). ©Electre 2024

Fiche Technique

Paru le : 15/09/1995

Thématique : Mathématiques 1er Cycle

Auteur(s) : Auteur : Raymond M. Smullyan

Éditeur(s) : Elsevier Masson

Collection(s) : Logique, mathématiques, informatique

Contributeur(s) : Traducteur : Philippe Ithier

Série(s) : Non précisé.

ISBN : Non précisé.

EAN13 : 9782225848605

Reliure : Broché

Pages : 176

Hauteur: 24.0 cm / Largeur 16.0 cm


Épaisseur: 1.1 cm

Poids: 319 g