Mathematical Logic foundations for information science - Li, Wei 1943- (Progress in computer science and applied logic, 2010)