Aide à la recherche
Requête :
"langage du premier ordre"
Chercher
dans
les fiches
la liste des mots-clés
la liste des auteurs
les notices du glossaire
Afficher les fiches par
20
50
100
2 fiches trouvées
1
2018 Vidéo de l'IREM de Paris - Séminaire de l'IREM de Paris. Les propositions mathématiques "indécidables".
2
2002 Théorèmes d'incomplétude de Gödel.