Tag: D. Van Dalen A. S. Troelstra

The L.E.J. Brouwer Centenary Symposium: Proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 (Studies in logic and the foundations of mathematics) by...