Search results
- 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
- Foundations of constructive analysis / Errett Bishop ; with a new foreword by Michael Beeson. Bronx, NY : Ishi Press Intrnational, [2012] ©2012 . xiii, 370 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 0 0 0 1 0 0 
book
- Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. Berlin : Springer-Verlag, [1985] ©1985 . xxiii, 466 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0 book