Logic for applications
Nerode, Anil
Logic for applications by Anil Nerode and Richard A. Shore - 2nd ed. - New York Springer Verlag 1997 - xiii, 456p. - Graduate texts in computer science .
0387948937
005.1015113 / N97
Logic for applications by Anil Nerode and Richard A. Shore - 2nd ed. - New York Springer Verlag 1997 - xiii, 456p. - Graduate texts in computer science .
0387948937
005.1015113 / N97