Home
Admin
Users
Lecons
Dvpts
Versions Dvpt
Versions Lecon
Livres
Version #494 de développement
Lecon ID :
1239
User ID :
135
Comment : Fichier : 2016_924_devs.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