Foundations of Constructive Mathematics (1985)

by M J Beeson