Výsledky vyhledávání

  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
    PRF000100
  2. Boolean functions and computation models / Peter Clote, Evangelos Kranakis.    Berlin ; New York, N.Y. :  Springer,  c2002 . xiv, 601 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100