bruintree
MATH 285D — Seminar: Logic