A. Heyting

Leblanc Hugues. Structural rules of inference. Notre Dame journal of formal logic, vol. 3 (1962), pp. 201–205.

A. Heyting, 1963 .

Syllabus van het colloquium recursieve functies 1968/69

A. Heyting, 1969 .

Intuitionism: An introduction

A. Heyting, A. Heyting, 1956 .

Intuitionistische axiomatiek der projectieve meetkunde

A. Heyting, 1925 .