Some connections between presentability of complexity classes and the power of formal systems of reasoning (1984)

by W Kowalczyk
Venue:In: Proc. Mathematical Foundations of Computer Science. Lecture Notes in Computer Science