Search results

Records found: 3  
Your query: Author Sysno = "^upol_us_auth 0210732^"
  1. Basic proof theory / A.S. Troelstra, H. Schwichtenberg.    Cambridge :  Cambridge University Press,  2000 . xii, 417 s.
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Basic proof theory

    book

  2. Constructivism in mathematics : an introduction. Volume I / A.S. Troelstra, D. van Dalen.    Amsterdam : Elsevier, 1988 . xx, 342 stran, xiv
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Constructivism in mathematics

    book

  3. Constructivism in mathematics : an introduction. Volume II / A.S. Troelstra, D. van Dalen.    Amsterdam : Elsevier, 1988 . xvii, strana 345-879, lii
          Lok/dislok       Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci
    PRF000100
    Constructivism in mathematics

    book



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