Computable Analysis

Journal of Symbolic Logic 49 (3):988-989 (1984)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.2307/2274156

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Oliver Aberth, Computable Analysis. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
Computable Analysis.R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
A Chain of Inclusion Relations in Computable Analysis.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):84.
Alan Turing and the foundations of computable analysis.Guido Gherardi - 2011 - Bulletin of Symbolic Logic 17 (3):394-430.
The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations.Brian H. Mayoh & Oliver Aberth - 1975 - Journal of Symbolic Logic 40 (1):85.
Review: S. Mazur, A. Grzegorczyk, H. Rasiowa, Computable Analysis. [REVIEW]R. L. Goodstein - 1971 - Journal of Symbolic Logic 36 (1):148-150.
Oliver Aberth. A chain of inclusion relations in computable analysis. Proceedings of the American Mathematical Society, vol. 22 , pp. 539–548. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):84.
Aberth Oliver. Computable analysis. Advanced book program. McGraw-Hill International Book Company, New York etc. 1980, xi + 187 pp. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
Aberth Oliver. The failure in computable analysis of a classical existence theorem for differential equations. Proceedings of the American Mathematical Society, vol. 30 , pp. 151–156. [REVIEW]Brian H. Mayoh - 1975 - Journal of Symbolic Logic 40 (1):85-85.
The effective sequence of uniformities and its limit: as a methodology in computable analysis.Mariko Yasugi, Takakazu Mori & Yoshiki Tsujii - 2007 - Annals of the Japan Association for Philosophy of Science 15 (2):99-121.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,562,871)

6 months
26 (#116,274)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Constructive mathematics.Douglas Bridges - 2008 - Stanford Encyclopedia of Philosophy.
Apartness spaces as a framework for constructive topology.Douglas Bridges & Luminiţa Vîţă - 2003 - Annals of Pure and Applied Logic 119 (1-3):61-83.
Wittgenstein and finitism.Mathieu Marion - 1995 - Synthese 105 (2):141 - 176.
Formal spaces and their effective presentations.Inger Sigstam - 1995 - Archive for Mathematical Logic 34 (4):211-246.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references