Logic for applications /
Nerode, Anil, 1932-
Logic for applications / Anil Nerode, Richard A. Shore. - 2nd ed. - New York : Springer, 1997. - xiii, 456 p. : il. ; 24 cm. - Graduate texts in computer science .
Incluye referencias bibliográficas (p. 409-438) e índice.
0387948937 (New York hc acid free paper) 9780387948935
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / N47 1997
Logic for applications / Anil Nerode, Richard A. Shore. - 2nd ed. - New York : Springer, 1997. - xiii, 456 p. : il. ; 24 cm. - Graduate texts in computer science .
Incluye referencias bibliográficas (p. 409-438) e índice.
0387948937 (New York hc acid free paper) 9780387948935
Computer science--Mathematics.
Logic, Symbolic and mathematical.
QA76.9.M35 / N47 1997