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

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

Degree structures: Local and global investigations.Richard A. Shore - 2006 - Bulletin of Symbolic Logic 12 (3):369-389.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.
In memoriam: Paul J. Cohen, 1934—2007.Anil Nerode - 2009 - Bulletin of Symbolic Logic 15 (4):439-440.
A universal embedding property of the RETs.Anil Nerode & Alfred B. Manaster - 1970 - Journal of Symbolic Logic 35 (1):51-59.
Meeting of the association for symbolic logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
The reviews.Richard A. Shore - 2003 - Bulletin of Symbolic Logic 9 (1):1-2.
Alonzo church.Richard A. Shore - 1997 - Bulletin of Symbolic Logic 3 (2):153.
Σn sets which are Δn-incomparable.Richard A. Shore - 1974 - Journal of Symbolic Logic 39 (2):295 - 304.
Annual meeting of the association for symbolic logic, Los Angeles, 1989.Richard A. Shore - 1990 - Journal of Symbolic Logic 55 (1):372-386.
Logic for applications, Anil Nerode and Richard A. shore.Wiebe van der Hoek - 1998 - Journal of Logic, Language and Information 7 (2):228-229.

Analytics

Added to PP
2009-01-28

Downloads
145 (#124,435)

6 months
67 (#63,103)

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