Mathematical logic for computer science - Ben-Ari, M. 1948- (New York ; London Prentice Hall, 1993)
Keywords: Logic, Symbolic and mathematical