Home
Admin
Users
Lecons
Dvpts
Versions Dvpt
Versions Lecon
Livres
Version #523 de développement
Lecon ID :
1239
User ID :
111
Comment : Fichier : 2015_924.pdf
Références :
Logique mathématique Tome 1 - René Cori, Daniel Lascar
Logique mathématique Tome 2 - René Cori, Daniel Lascar
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Les démonstrations et les algorithmes - Gilles Dowek
✏️ Modifier
🗑 Supprimer