Mathematical Logic Foundations for Information Science - Li, Wei (BirkhΓuser Basel, 2010)