Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebeite (1985)

by M J Beeson