LOGIQUE MATHEMATIQUE - TOME 2 - FONCTIONS RECURSIVES, THEOREME DE GODEL, THEORIE DES ENSEMBLES - T 2 (SCIENCES SUP)

LOGIQUE MATHEMATIQUE - TOME 2 - FONCTIONS RECURSIVES, THEOREME DE GODEL, THEORIE DES ENSEMBLES - T 2 (SCIENCES SUP)

  • DUNOD(2020/02発売)
  • ただいまウェブストアではご注文を受け付けておりません。 ⇒古書を探す
  • 製本 Paperback:紙装版/ペーパーバック版
  • 商品コード 9782100807703

基本説明

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.

最近チェックした商品