![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '78, Proceedings of the colloquium held in Mons Volume 97 || Constructive Theories of Functions and Classes
Feferman, SolomonYear:
1979
Language:
english
DOI:
10.1016/S0049-237X(08)71625-2
File:
PDF, 3.12 MB
english, 1979