Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993 [Book Review]

&
ACM SIGACT News 26 (1):20-22 (1995)
  Copy   BIBTEX

Abstract

This is a review of Logic for Applications, by Anil Nerode and Richard A. Shore, published by Springer-Verlag in 1993.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive

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

Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Anil Nerode and Richard A. Shore, Logic for Applications.W. Van Der Hoek - 1998 - Journal of Logic Language and Information 7:228-229.
Logic for applications, Anil Nerode and Richard A. shore.Wiebe van der Hoek - 1998 - Journal of Logic, Language and Information 7 (2):228-229.
J. N. Crossley and Anil Nerode. Combinatorial functors. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 81. Springer-Verlag, New York, Heidelberg, and Berlin, 1974, VIII + 146 pp. [REVIEW]Carl E. Bredlau - 1977 - Journal of Symbolic Logic 42 (4):586-587.
Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 , pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 , pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 , pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 , pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 , pp. 320–. [REVIEW]Carl Jockusch - 1990 - Journal of Symbolic Logic 55 (1):358-360.
Nerode Anil. Extensions to isols. Annals of mathematics, second series, vol. 73 , pp. 362–403.J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.
Ming Li and Paul Vitányi. An introduction to Kolmogorov complexity and its applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xx + 546 pp. [REVIEW]V. A. Uspensky & A. Shen - 1995 - Journal of Symbolic Logic 60 (3):1017-1020.
Petr Hájek and Pavel Pudlák. Metamathematics of first-order arithmetic. Perspectives in mathematical logic. Springer-Verlag, Berlin etc. 1993, xiv + 460 pp. [REVIEW]Richard Kaye - 1995 - Journal of Symbolic Logic 60 (4):1317-1320.

Analytics

Added to PP
2009-01-28

Downloads
334 (#91,461)

6 months
87 (#80,595)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Varol Akman
Bilkent University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references