Donald Kalish

• Logic
• Logic
• Logic Techniques of Formal Reasoning
• Logic