Mathematical logic foundations for information science - Li, Wei 1943- (Birkhäuser, 2010)