Kleene’s realizability and ”divides” notions for formalized intuitionistic mathematics. (English) Zbl 0517.03025
The Kleene Symp., Proc., Madison/Wis. 1978, Stud. Logic Found. Math., Vol. 101, 167-179 (1980).
MSC:
03F55 | Intuitionistic mathematics |