![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Logic Colloquium '80 - Papers intended for the European Summer Meeting of the Association for Symbolic Logic Volume 108 || Intuitionistic Extensions of the Reals II
Troelstra, A.S.Year:
1982
Language:
english
DOI:
10.1016/s0049-237x(09)70517-8
File:
PDF, 2.82 MB
english, 1982