Descripción del título
Arithmetic, proof theory, a...
Monografía
monografia Rebiun04760371 https://catalogo.rebiun.org/rebiun/record/Rebiun04760371 ta 940606s1993 enka b o000 eng 92041659 //r93 0198536909 cloth) 0820519650 oc27070235 UIB (45475) DLC. DLC. STA. FPU. UKM 511.3 20 Arithmetic, proof theory, and computational complexity edited by Peter Clote and Jan Krajícek Oxford [England] Clarendon Press New York Oxford University Press c1993 Oxford [England] New York Oxford [England] Clarendon Press New York Oxford University Press xii, 428 p ill 25 cm xii, 428 p Oxford logic guides 23 Oxford science publications Bibliografia Proof theory Computational complexity Clote, Peter Krajícek, Jan