Giáo, . 1986 Jun 15. Tính phi mâu thuẫn và tính đầy đủ của hệ thống các tiên đề của lớp cây thông tin tam nguyên chiều. VNU Journal of Science: Natural Sciences and Technology. [Online] 1:2