![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover 1966 Volume 50 || The Use of “Brouwer's Principle” in Intuitionistic Topology
Troelstra, A.S.Year:
1968
Language:
english
DOI:
10.1016/s0049-237x(08)70532-9
File:
PDF, 507 KB
english, 1968