Giáo trình logic hình thức - Bùi, Thanh Quất (Tổng hợp Thành phố Hồ Chí Minh, 1994)