Every Monday, Wednesday and Friday from 11:30am to 12:30 p.m., students gather in Hayes-Healy Hall for “Beginning Logic,” a math class where you’re more likely to find proofs of language on the ...