%0 Journal Article
%A Troelstra, A. S.
%T The scientific work of A. Heyting
%J Compositio Mathematica
%D 1968
%P 3-12
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__3_0/
%G en
%F CM_1968__20__3_0