Giáo trình Logic toán

Ta biết rằng Logic Toán là một ngành khoa học lý thuyết gắn chặt với tư duy suy diễn của con người và được phát triển trên cơ sở tuần thủ nghiêm ngặt các qui luật lập luận của tư duy logic hình thức. Hơn nữa, Logic Toán nghiên cứu phương pháp suy luận trong Toán học, phương pháp chứng minh và khả năng suy diễn dẫn đến các định lý trong một lý thuyết.