GIÁO, Đỗ Đức. 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, [S.l.], v. 1, n. 2, june 1986. ISSN 2588-1140. Available at: <https://js.vnu.edu.vn/NST/article/view/4045>. Date accessed: 24 nov. 2024.