Arithmetic, proof theory, and computational complexity

Name: Arithmetic, proof theory, and computational complexity
Author: Peter Clote and Krajíček Jan, Oxford logic guides, no. 23

by Peter Clote and Krajíček Jan, Oxford logic guides, no. 23 · 1 review · 1995

Reviewed by	Journal	Date	Access
Fernando Ferreira	The Journal of Symbolic Logic	1995	Restricted