Title: Logic and computational complexity
Subjects: Symbolic and mathematical Logic, Computational complexity, Congresses, Beweistheorie, Komplexitätstheorie, Logique symbolique et mathématique, Congrès, Logica, Complexiteit, Komplexität, Logik, Berechnungstheorie, Datenverarbeitung, Mathematische Logik, Complexité de calcul (Informatique), Berechnungskomplexität, Logic, symbolic and mathematical