Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles Nouv.

Logique mathématique t.2 ; fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles (préface Jean-Louis Krivine)

,

À propos

Ce deuxième tome est plus particulièrement consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles.

Sommaire

Récursivité. Formalisation de l'arithmétique. Théorèmes de Gödel. Théorie des ensembles. Un peu de théorie des modèles. Solutions des exercices.

Avis des internautes

Avis général

(Cet ouvrage n'a pas encore d'avis)

Donnez votre avis

(De "Peu d'intérêt" à "Excellent")

Rayons : Sciences & Techniques > Mathématiques > Logique formelle

  • EAN

    9782100807703

  • Disponibilité

    Disponible

  • Nombre de pages

    368 Pages

  • Longueur

    24 cm

  • Largeur

    17 cm

  • Poids

    608 g

  • Distributeur

    Hachette

Infos supplémentaires : Broché  

empty