In A. Heyting (ed.), Journal of Symbolic Logic. Amsterdam: North-Holland Pub. Co.. pp. 129--158 (1959)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Buy the book |
Find it on Amazon.com
|
DOI | 10.2307/2270669 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Point-Free Topological Spaces, Functions and Recursive Points; Filter Foundation for Recursive Analysis. I.Iraj Kalantari & Lawrence Welch - 1998 - Annals of Pure and Applied Logic 93 (1-3):125-151.
A Computable Version of Banach’s Inverse Mapping Theorem.Vasco Brattka - 2009 - Annals of Pure and Applied Logic 157 (2-3):85-96.
Similar books and articles
Review: Daniel Lacombe, Quelques Procedes de Definition en Topologie Recursive. [REVIEW]Yiannis N. Moschovakis - 1966 - Journal of Symbolic Logic 31 (1):133-134.
Quelques Procedes de Definition En Topologffi Recursive.Daniel Lacombe - 1959 - In A. Heyting (ed.), Constructivity in Mathematics. Amsterdam: North-Holland Pub. Co.. pp. 24--129.
Review: Daniel Lacombe, Quelques Proprietes d'Analyse Recursive. [REVIEW]A. Nerode - 1959 - Journal of Symbolic Logic 24 (1):53-54.
Review: A. Mostowski, Quelques Applications de la Topologie a La Logique Mathematique. [REVIEW]Perry Smith - 1971 - Journal of Symbolic Logic 36 (4):688-688.
Freiheit Und Verhängnis: Heideggers Topologie des Seins Und Die Fraktale Affektlogik: Entwurf Einer Fraktgenen Topologie des Physio-Psychisch-Mentalen Seins.Beatrice Nunold - 2004 - Edition Fatal.
Some Restrictions on Simple Fixed Points of the Integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
Analytics
Added to PP index
2014-01-26
Total views
6 ( #1,069,320 of 2,409,940 )
Recent downloads (6 months)
1 ( #541,494 of 2,409,940 )
2014-01-26
Total views
6 ( #1,069,320 of 2,409,940 )
Recent downloads (6 months)
1 ( #541,494 of 2,409,940 )
How can I increase my downloads?
Downloads