Logic for applications / Anil Nerode, Richard A. Shore.
Saved in:
Main Author: | Nerode, Anil, 1932- |
---|---|
Other Authors: | Shore, Richard A., 1946- |
Format: | Book |
Language: | English |
Published: |
New York :
Springer,
c1997.
|
Edition: | 2nd ed. |
Series: | Graduate texts in computer science
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Automata theory and its applications Bakhadyr Khoussainov, Anil Nerode.
by: Khoussainov, Bakhadyr, et al.
Published: (2001) -
The mathematics of logic : a guide to completeness theorems and their applications / Richard W. Kaye.
by: Kaye, Richard
Published: (2007) -
Predicate logic / Richard L. Epstein.
by: Epstein, Richard L.
Published: (1994) -
A friendly introduction to mathematical logic / Christopher C. Leary.
by: Leary, Christopher C., 1957-
Published: (2000) -
Computability and logic / George S. Boolos, Richard C. Jeffrey.
by: Boolos, George
Published: (1989)