PHIL5200 - Adv. Deductive Logic