(1-6 cr.) P: Instructor's permission. Special topics in applied logic.
May be repeated for credit with permission.