×

zbMATH — the first resource for mathematics

Classically and intuitionistically provably recursive functions. (English) Zbl 0396.03045
Higher Set Theory, Proc. Oberwolfach 1977, Lect. Notes Math. 669, 21-27 (1978).

MSC:
03F55 Intuitionistic mathematics
03D20 Recursive functions and relations, subrecursive hierarchies
03E70 Nonclassical and second-order set theories
03B15 Higher-order logic; type theory (MSC2010)