Constructive set theory (1975)

by John Myhill
Venue:J. Symbolic Logic