Clote, Peter. Ed. Krajicek, Jan. Ed.
Arithmetic, Proof Theory, and Computational Complexity - Oxford Oxford University press 1993 - 428p - Oxford Logic Guides, Vol. 23 .
0 19 853690 9
Logic
510.6 CLO
Arithmetic, Proof Theory, and Computational Complexity - Oxford Oxford University press 1993 - 428p - Oxford Logic Guides, Vol. 23 .
0 19 853690 9
Logic
510.6 CLO