Version #1145 de développement

Lecon ID : 1345
User ID : 328
Comment : Fichier : 916.pdf

Références :

Topologie - Queffelec

Computational Complexity: A Modern Approach - Sanjeev Arora, Boaz Barak

Logique mathématique Tome 1 - René Cori, Daniel Lascar

Computational complexity - Papadimitriou

Logique et fondements de l'informatique - Rougemont, Lassaigne