Logic: A computer approach - Schagrin,Morton.L