Arithmetic, proof theory, and computational complexity/
Clote, Peter.
Arithmetic, proof theory, and computational complexity/ Peter Clote. - [1st ed.] - Oxford: Clarendon Press, 1992. - 428 p.
511.3 / C646a
Arithmetic, proof theory, and computational complexity/ Peter Clote. - [1st ed.] - Oxford: Clarendon Press, 1992. - 428 p.
511.3 / C646a