Giáo trình cơ sở toán học - Nguyễn Gia, Định (2017)
Giới thiệu về logic toán...