Additional Material

Week 4

• natural deduction tool by Andreas Schnabl, illustrated in the lecture
• Logan, a modern web-based tool for natural deduction