Logic for applications - Nerode, Anil.; Shore, Richard A. (New York: Springer, 1997)
Includes bibliographical references & index.
Keywords: Computer science -- Mathematics; Logic, Symbolic and mathematical