• DML-CZ Home

02C15 

• Heyting, A.: O intuicionismu. (Czech) [On intuitionism]. Pokroky matematiky, fyziky a astronomie, vol. 17 (1972), issue 1, pp. 4-15
• Kůrka, Petr: The Heyting doctrines. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 13 (1972), issue 4, pp. 643-657