Oliver Aberth. Analysis in the computable number field. Journal of the Association for Computing Machinery, vol. 15 , pp. 275–299 [Book Review]

Journal of Symbolic Logic 40 (1):84 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200054335

Links

PhilArchive



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

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

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. 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.
Review: Oliver Aberth, Computable Analysis. [REVIEW]C. Ward Henson - 1984 - Journal of Symbolic Logic 49 (3):988-989.
Ronald Prather. Computational aids for determining the minimal form of a truth function. Journal of the Association for Computing Machinery, vol. 7 , pp. 299–310. [REVIEW]Ann S. Ferebee - 1968 - Journal of Symbolic Logic 33 (4):630.
Peter B. Andrews. Resolution with merging. Journal of the Association for Computing Machinery, vol. 15 , pp. 367–381.David Luckham - 1970 - Journal of Symbolic Logic 35 (1):159-160.
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.
Donald M. Kaplan. Some completeness results in the mathematical theory of computation. Journal of the Association for Computing Machinery, vol. 15 , pp. 124–134. [REVIEW]Richard J. Orgass - 1975 - Journal of Symbolic Logic 40 (2):246-247.
Jeffrey Richard C.. Arithmetical analysis of digital computing nets. Journal of the Association for Computing Machinery, vol. 3 , pp. 360–375. [REVIEW]E. J. McCluskey - 1960 - Journal of Symbolic Logic 25 (2):190-191.
Review: Oliver Aberth, Computable Calculus. [REVIEW]Douglas Bridges - 2002 - Bulletin of Symbolic Logic 8 (3):426-428.
Oliver Aberth. Computable calculus. Academic Press, SanDiego, London, etc., 2001, xiii + 192 pp. + CD-ROM. [REVIEW]Douglas Bridges - 2002 - Bulletin of Symbolic Logic 8 (3):426-428.

Analytics

Added to PP
2016-06-30

Downloads
11 (#351,772)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references