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