Mathematical logic for computer science by Lu, Chung-wan fromWorld Scientific series in computer scienc 0 Type: Book
