Introductory Logic and Formal MethodsDavid Heath, Derek Allum, Lynne Dunckley · First published 1994Open the Tome