Mathematical Logic : Foundations for Information Science - Wei Li ((Progress in Computer Science and Applied Logic))