Toward Logic Tailored for Computational Complexity (1984)

by Yuri Gurevich
Venue:Eds.) Computation and Proof