Mathematical logic for computer science - Zhonngwan, Lu (World Scientific Singapore, 1989)
Keywords: Mathematical logic - Computer science