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 [Book Review]

Journal of Symbolic Logic 64 (1):404-405 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2586779

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

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 & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993. [REVIEW]Erkan Tin & Varol Akman - 1995 - ACM SIGACT News 26 (1):20-22.
Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Fitting Melvin. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp. [REVIEW]Alfredo Ferro - 1993 - Journal of Symbolic Logic 58 (2):719-719.
Goldblatt Robert. Axiomatising the logic of computer programming. Lecture notes in computer science, vol. 130. Springer-Verlag, Berlin, Heidelberg, and New York, 1982, xi + 304 pp. [REVIEW]Mitchell Wand - 1985 - Journal of Symbolic Logic 50 (3):854-855.
Devlin Keith. The joy of sets. Fundamentals of contemporary set theory. Second edition of XLVI419. Undergraduate texts in mathematics. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, x + 192 pp. [REVIEW]H. B. Enderton - 1994 - Journal of Symbolic Logic 59 (4):1441-1442.
Harel David. First-order dynamic logic. Lecture notes in computer science, vol. 68. Springer-Verlag, Berlin, Heidelberg, and New York, 1979, X + 133 pp. [REVIEW]Jerzy Tiuryn - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Schöning Uwe. Complexity and structure. Lecture notes in computer science, vol. 211. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1986, v + 99 pp. [REVIEW]Stephen R. Mahaney - 1989 - Journal of Symbolic Logic 54 (3):1106-1107.
Felgner Ulrich. Models of ZF-set theory. Lecture notes in mathematics, no. 223, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, vi + 173 pp.Jech Thomas J.. Lectures in set theory with particular emphasis on the method of forcing. Lecture notes in mathematics, no. 217, Springer-Verlag, Berlin, Heidelberg, and New York, 1971, v + 137 pp. [REVIEW]Frank R. Drake - 1975 - Journal of Symbolic Logic 40 (1):92-93.
Logic for Applications.Anil Nerode & Richard A. Shore - 2000 - Studia Logica 64 (1):134-136.
Klug Ulrich. Juristische Logik. Third, expanded and revised, edition of XVII 274. Springer-Verlag, Berlin, Heidelberg, and New York, 1966, XV + 191 pp. [REVIEW]Gert H. Müller - 1971 - Journal of Symbolic Logic 36 (3):545-545.
Neil Immerman. Descriptive complexity. Graduate texts in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xvi + 268 pp. [REVIEW]Steven Lindell - 2001 - Bulletin of Symbolic Logic 7 (4):525-527.
Greibach Sheila A.. Theory of program structures: schemes, semantics, verification. Lecture notes in computer science, vol. 36. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, xv + 364 pp. [REVIEW]Robert L. Constable - 1978 - Journal of Symbolic Logic 43 (1):154-156.
Logical methods in mathematics and computer science: A symposium in honor of Anil Nerode's sixtieth birthday.Richard A. Shore - 1993 - Journal of Symbolic Logic 58 (3):1091-1092.
R. G. Downey and M. R. Fellows. Parameterized complexity. Monographs in computer science. Springer, New York, Berlin, and Heidelberg, 1999, xv + 533 pp. [REVIEW]Jörg Flum - 2002 - Bulletin of Symbolic Logic 8 (4):528-529.
Anil Nerode and Richard A. Shore, Logic for Applications.W. Van Der Hoek - 1998 - Journal of Logic Language and Information 7:228-229.

Analytics

Added to PP
2016-06-30

Downloads
8 (#1,313,626)

6 months
1 (#1,464,097)

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