1 paper
L. Gordeev, E. H. Haeusler
The subject logic in computer science should entail proof theoretic applications. So the question arises whether open problems in computational complexity can be solved by advanced…