Cover Image
Read Now

1
by Nerode, Anil, Shore, Richard A.
Published 1997
Springer New York
“.... Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness...”
Cover Image
Read Now

2
by Nerode, Anil, Shore, Richard A.
Published 1993
Springer New York
“.... Of course, we cover the basic traditional topics - syntax, semantics, soundness, completeness...”