Lôgic hình thức - Vương Tất Đạt (H. Trường D9HSP Hà Nội 1, 1994)
Keywords: Logic học; Lôgic hình thức