Cinq conférences sur l'indécidabilité
Cinq conférences sur l'indécidabilité
Nicolas Bouleau
Details
OL Work ID
OL19834580W
Subjects
Gödel, Théorème de
Decidability (Mathematical logic)
Décidabilité (Logique mathématique)
Find this book
Open Library