Books · Search
Computational complexity · Symbolic and mathematical Logic
Logic and complexity
2003
Symbolic and mathematical Logic · Computer science
Logique et fondements de l'informatique
1993