Analyse logique - Châu Minh (Nxb. Tp. HCM, 1995)