Mathematical logic foundations for information science - Li, Wei.; SpringerLink (Online service) (Basel : Birkhauser Basel, 2010)
Keywords: Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations