Logic for applications
Nerode, Anil, 1932-
Logic for applications Anil Nerode, Richard A. Shore. - 2nd ed. - New York : Springer, c1997. - xiii, 456 p. : ill. ; 24 cm. - Graduate texts in computer science . - Graduate texts in computer science (Springer-Verlag New York Inc.) .
Includes bibliographical references (p. [409]-438) and indexes.
9780387948935
96043297
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / N47 1997
005.1 / NER-L
Logic for applications Anil Nerode, Richard A. Shore. - 2nd ed. - New York : Springer, c1997. - xiii, 456 p. : ill. ; 24 cm. - Graduate texts in computer science . - Graduate texts in computer science (Springer-Verlag New York Inc.) .
Includes bibliographical references (p. [409]-438) and indexes.
9780387948935
96043297
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / N47 1997
005.1 / NER-L