Constructivizing results obtained for intuitionistic formal systems by means of classical semantics - Troelstra, Anne S. 1939-2019 (Report / University of Amsterdam, Department of Mathematics, 1977)