Foundations of constructive mathematics, volume 6 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3 (1985)

by M J Beeson
Venue:Results in Mathematics and Related Areas (3