Title: Logic and complexity
Subjects: Computational complexity, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Complexite? de calcul (Informatique), Logique symbolique et mathematique