Computer Science | Topics in Applied Logic:Proofs & Programs
B619 | 9354 | Leivant


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