Košík

  Odznačit vybrané:   0
  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

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.