Formal spaces (1982)

by M P Fourman, R J Grayson
Venue:In The L.E.J. Brouwer Centenary Symposium (A.S. Troelstra and