Arithmetic,
Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček. -- Oxford : Clarendon Press, 1993. -- xii, 428 s. -- (Oxford logic guides; 23). -- Lit. -- ISBN : 0198536909.
Clote, Peter, 1951-. Krajíček, Jan
aritmetika. matematické důkazy. matematika. sborníky
51(082). 51:168.3. 510.6. 511.1(082)