M.J. Beeson

Foundations of Constructive Mathematics - 1985 - Springer Berlin Heidelberg 1985 - Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics .

9783642689529


Mathematics and Statistics