Giáo, . (1986). 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, 1(2). Retrieved from https://js.vnu.edu.vn/NST/article/view/4045