Formalizing constructive mathematics: why and how (1980)

by M Beeson
Venue:Constructive Mathematics: Proceedings