Logic and computational complexityde Daniel Leivant, Gerhard Goos, Juris HartmanisMateriasSymbolic and mathematical LogicComputational complexityCongressesBeweistheorieKomplexitätstheorieLogique symbolique et mathématiqueCongrèsLogicaComplexiteit