Festschrift. Logic and foundations of mathematics - Heyting A. (1968)