Lôgic toán là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học. Ngành này bao gồm cả hai phần: Nghiên cứu toán học về logic và những ứng dụng của logic hình thức trong các ngành khác của toán học. Các chủ đề thống nhất trong logic toán học bao gồm các nghiên cứu về sức mạnh ý nghĩa của các hệ thống hình thức và sức mạnh suy diễn của hệ thống chứng minh chính thức. Sách có những nội dung chính sau: Đại số logic, logic vị từ, hệ toán mệnh đề, logic và vấn đề dạy học toán học, hàm logic mờ và hàm logic đa trị. Logic Toán NXB Thanh Hóa 2001 Nguyễn Đức Đồng, Nguyễn Văn Vĩnh 251 Trang File PDF-SCAN Link download https://lib.hpu.edu.vn/handle/123456789/2468https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTZ3WGQHg04L1