Khác biệt giữa bản sửa đổi của “Phép tính lambda”
Nội dung được xóa Nội dung được thêm vào
nKhông có tóm lược sửa đổi |
n đã dời Thể loại:Toán học logic; đã thêm Thể loại:Logic toán (đã giải quyết thể loại đổi hướng Thể loại:Logic toán học) dùng HotCat |
||
Dòng 14:
<references/>
[[Thể loại:
[[Thể loại:Khoa học máy tính]]
| |||