"Mathematical logic : foundations for information science" - читать интересную книгу автора (Wei Li)