Počet záznamů: 1  

Arithmetic, proof theory, and computational complexity

  1. Údaje o názvuArithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
    Vyd.údajeOxford : Clarendon Press, 1993
    Fyz.popisxii, 428 s.
    ISBN0198536909
    Edice Oxford logic guides; 23
    PoznámkaLit.
    Dal.odpovědnost Clote, Peter, 1951- (editor)
    Krajíček, Jan (editor)
    Předmět.hesla aritmetika arithmetic * matematické důkazy mathematical proofs * matematika mathematics * sborníky
    MDT 51(082) , 51:168.3 , 510.6 , 511.1(082)
    Země vyd.Velká Británie
    Jazyk dok.angličtina
    Druh dok.Knihy
    SignaturaČár.kódLokaceDislokaceInfo
    M1/1661 (PřF)3134014651PřFPřF, Knihovnapouze prezenčně