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

René Cori, Daniel Lascar (Autoren)

Buch | Softcover

348 Seiten

2020
Dunod (Verlag)
978-2-10-080770-3 (ISBN)

Titel nicht im Sortiment

Artikel merken

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.

Erscheinungsdatum	10.10.2020
Sprache	französisch
Maße	170 x 240 mm
Gewicht	638 g
Einbandart	Paperback
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
Schlagworte	Sciences sup • Sciences sup, Mathématiques • Sciences sup. Mathématiques
ISBN-10	2-10-080770-6 / 2100807706
ISBN-13	978-2-10-080770-3 / 9782100807703
Zustand	Neuware