Number of the records: 1  

Arithmetic, proof theory, and computational complexity

  1. Arithmetic, proof theory, and computational complexity / edited by Peter Clote and Jan Krajíček.    Oxford :  Clarendon Press,  1993 . xii, 428 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF100000
    View book information on page www.obalkyknih.cz

    book


Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.