Logique mathématique - Tome 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles

Cori René, Lascar Daniel

Publication date 04/02/2020

EAN: 9782100807703

Availability Available from publisher

45.00 €

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.

Detailed information

Attribute name	Attribute value
Common books attribute
Publisher	DUNOD
Page Count	368
Language	fr
Author	Cori René, Lascar Daniel
Format	Paperback / softback
Product type	Book
Publication date	04/02/2020
Weight	638 g
Dimensions (thickness x width x height)	2.00 x 17.00 x 24.00 cm

Summary

T 2 - Fonctions récursives, théorème de Gödel, théorie des ensembles