Logic - Theory & Practice - Rennie & Girle