Mathematical Logic Foundations for Information Science - Li, Wei.; SpringerLink (Online service) (Basel : Birkhäuser Basel, 2010)
Keywords: Computer science; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations