A. S. Troelstra, D. Van Dalen profile picture

A. S. Troelstra, D. Van Dalen

Is this your author profile? Create an account to claim and customize it!

Stand Alone

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)