Search results
- 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 PRF 0 0 0 1 0 0 book
- 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 PRF 0 0 0 1 0 0 book
- 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 PRF 0 0 0 1 0 0 book