You are currently browsing the monthly archive for June 1982.
Ngo van Quê and G. E. Reyes (1982). Synthetic Calculus and smooth functors. In
Troelstra A. S. and D. van Dalen (eds.). The L. E. J. Brouwer Symposium.
Amsterdam: North Holland, 377-395.