Logic for applications - Nerode, Anil. (Springer, 1997)
Includes bibliographical references & index.