Review: Martin Davis, Applied Nonstandard Analysis [Book Review]

Journal of Symbolic Logic 43 (2):383-384 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

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

Davis Martin. Applied nonstandard analysis. Pure and applied mathematics. A Wiley-Interscience publication, John Wiley & Sons, New York, London, Sydney, and Toronto, 1977, xiii + 181 pp. [REVIEW]Lawrence D. Kugler - 1978 - Journal of Symbolic Logic 43 (2):383-384.
Review: M. D. Davis, A Note on Universal Turing Machines; Martin Davis, The Definition of Universal Turing Machine. [REVIEW]R. J. Nelson - 1970 - Journal of Symbolic Logic 35 (4):590-590.
Review: Martin Davis, Computability & Unsolvability; Martin Davis, Hilbert's Tenth Problem is Unsolvable. [REVIEW]H. B. Enderton - 1987 - Journal of Symbolic Logic 52 (1):294-294.
Applied Nonstandard Analysis.Martin Davis - 1978 - Journal of Symbolic Logic 43 (2):383-384.
Review: Martin Davis, Unsolvable Problems: A Review. [REVIEW]Mary Katherine Yntema - 1968 - Journal of Symbolic Logic 33 (2):297-298.
Martin D. Davis and Elaine J. Weyuker. Comparability, complexity, and languages. Fundamentals of theoretical computer science. Computer science and applied mathematics. Academic Press, New York etc. 1983, xix + 425 pp. [REVIEW]Wolfgang Maass - 1987 - Journal of Symbolic Logic 52 (1):293-294.
Review: Martin Davis, Computability & Unsolvability. [REVIEW]Clifford Spector - 1958 - Journal of Symbolic Logic 23 (4):432-433.
Review: Martin Davis, A Program for Presburger's Algorithm. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
Review: Martin Davis, Arithmetical Problems and Recursively Enumerable Predicates. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (4):341-342.
Review: Martin Davis, One Equation to Rule Them all. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):602-602.

Analytics

Added to PP
2013-11-03

Downloads
7 (#1,407,052)

6 months
2 (#1,448,208)

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