Giáo, Đỗ. " 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 (1985): n. pag. Web. 24 Nov. 2024