logic toán học và hình thức

Khám phá luận lý toán học của Nguyễn Thanh Sơn tại DHBKHCM, tìm hiểu các khái niệm và ứng dụng trong nghiên cứu toán học hiện đại.