Constructive set theory (1975)

by John Myhill
Venue:this Journal