Počet záznamů: 1  

Arithmetic, proof theory, and computational complexity

  1. 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)