![](/img/cover-not-exists.png)
The lack of definable witnesses and provably recursive functions in intuitionistic set theories
Harvey M Friedman, Andrej ŠčedrovVolume:
57
Year:
1985
Language:
english
Pages:
13
Journal:
Advances in Mathematics
DOI:
10.1016/0001-8708(85)90103-3
File:
PDF, 691 KB
english, 1985