Mathematical logic for computer science - Ben - Ari, M. (New York : Prentice Hall, 1993)
Includes index.
Keywords: Algorithms; Calculus of operations; Computer programs; Logic, Symbolic and mathematical; Set theory