ngày 16 tháng 7 năm 2022
ngày 22 tháng 8 năm 2021
ngày 19 tháng 6 năm 2021
ngày 28 tháng 12 năm 2020
ngày 1 tháng 8 năm 2020
ngày 30 tháng 7 năm 2020
TuanminhBot
replaced: ) → ) (2), . → . (11), : → : (2), ; → ; (2) using AWB
n−31
Renamed user 2b3g54jkl2
link
+23
Renamed user 2b3g54jkl2
→Tham khảo: thêm link cho pdf
+40
ngày 29 tháng 7 năm 2020
Renamed user 2b3g54jkl2
→Hiện đang được nghiên cứu: link
+3
Renamed user 2b3g54jkl2
→Tham khảo: thêm tham khảo + links
+510
Renamed user 2b3g54jkl2
→Đọc thêm: thêm vài link
+183
Renamed user 2b3g54jkl2
→Tham khảo
+1.468
Renamed user 2b3g54jkl2
không có tóm lược sửa đổi
+160
Renamed user 2b3g54jkl2
Tạo với bản dịch của trang “Type theory”
+10.005