Home Admin Users Lecons Dvpts Versions Dvpt Versions Lecon Livres

Version #1141 de développement

Lecon ID : 1231
User ID : 328
Comment : Fichier : 912.pdf
Références :
Langages formels, Calculabilité et Complexité - Carton
Logique mathématique Tome 2 - René Cori, Daniel Lascar
Mathématiques de l'informatique - Dehornoy
Logique et fondements de l'informatique - Rougemont, Lassaigne
✏️ Modifier