- ホーム
- > 洋書
- > フランス書
- > SCIENCES PURES
- > Mathematiques
基本説明
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.



