Number of the records: 1  

Arithmetic, proof theory, and computational complexity

  1. Title statementArithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček
    Issue dataOxford : Clarendon Press, 1993
    Phys.des.xii, 428 s.
    ISBN0198536909
    Edition Oxford logic guides; 23
    NoteLit.
    Another responsib. Clote, Peter, 1951- (editor)
    Krajíček, Jan (editor)
    Subj. Headings aritmetika arithmetic * matematické důkazy mathematical proofs * matematika mathematics * sborníky
    UDC 51(082) , 51:168.3 , 510.6 , 511.1(082)
    CountryVelká Británie
    Languageangličtina
    Document kindBooks
    Call numberBarcodeLocationSublocationInfo
    M1/1661 (PřF)3134014651PřFPřF, KnihovnaIn-Library Use Only