Giáo trình nhập môn LOGIC hình thức - Nguyễn Đức Dân (ĐHQG.HCM, 2007)