Foundations of Constructive Mathematics (1985)

by M J Beeson
Venue:Ergeb. Math. Grenzgeb