bruintree
MATH 296D — Research Seminar: Logic