"Mathematical Logic: Foundations for Information Science (Progress in Computer Science and Applied Logic (PCS))" - читать интересную книгу автора (Wei Li)