Mathematical logic for computer science - Lu, Zhong-Wan. (Singapore : World Scientific, 1989)
Includes index bibliography : p. 230-248.
Keywords: Electronic data processing -- Mathematics; Logic, Symbolic and mathematical