The effective topos. In The L.E.J. Brouwer Centenary Symposium (Noordwijkerhout (1981)

by J M E Hyland
Venue:of Stud. Logic Foundations Math