Search results
- 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 - 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 - Introduction to metamathematics / by Stephen Cole Kleene ; with a new foreword by Michael Beeson. Bronx, NY : Ishi Press International, [2009] ©2009 . x, 550 stran
Lok/dislok Absenčně Vypůjčené Rezervované Prezenčně Nedostupné Pouze k rezervaci PRF 1 0 0 1 0 0