Delineating Classes of Computational Complexity via Second Order Theories with Weak Set Existence Principles (I (1991)

by Aleksandar Ignjatovic
Venue:I. The Journal of Symbolic Logic