Help with Tutorial 25d

Logical System

4/24/06

Tutorial 25 Exercises d