ome open problems in arithmetic, proof theory and computational complexity (1993)

by P CLOTE, J KRAJfEK
Venue:in Arithmetic, Proof Theory and Computational Complexity