Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés

Name: Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours, exercices corrigés
Brand: Dunod
Availability: OutOfStock
Rating: 5 (1 reviews)

0 - Default Title

Description

Présente successivement les problèmes de récursivité et de formalisation de l'arithmétique, les théorèmes de Gödel, la théorie des ensembles ainsi que la théorie des modèles. Chaque chapitre est accompagné de nombreux exercices corrigés. ©Electre 2026

Product details

Binding:: Paperback
Number of Pages:: 347
Release Date:: 2020-02-04
Publication Date:: 2020-02-04
Publisher:: Dunod
Languages:: Published: French, Original: French
ISBN10:: 2100807706
Weight:: 584 g
Height:: 24 cm
Width:: 17 cm
Thickness:: 2 cm

Buy on Amazon

Currently sold out

Add to Wishlist