LOGIC FOR APPLICATIONS - Nerode,Anil, Shore,Richard A.; Schneider,Fred B (Springer-Verlag,New York, 1997)
Includes Bibliographical References And Index
Keywords: Computer Science - Mathematics; Logic, Symbolic And Mathematical