Norman Kretzman

• Elements of formal logic