Smith, Peter Introduction to formal logic Smith, Peter - Cambridge 2003 Dewey Class. No.: BK / T03 SMI