Note on extensions of Heyting's arithmetic by adding the “creative subject” Victor N. Krivtsov Pages: 145 - 152