Introductory symbolic logic courses:
Smith, Logic 100, Philosophy 202
Amherst, Philosophy 13
UMass Amherst, Philosophy 110
Critical thinking courses:
UMass Amherst, Philosophy 192R
Mount Holyoke, Philosophy 210
Introductory symbolic logic for mathematics students:
Amherst, Mathematics 34
UMass Amherst, Philosophy 513, 514
Mount Holyoke, Philosophy 225
Incompleteness:
Smith, Philosophy 220
Amherst, Mathematics 34
UMass Amherst, Philosophy 513, 514
Mount Holyoke, Philosophy 327
Various topics in logic and philosophy:
Smith, Philosophy 203
Amherst, Philosophy 50
UMass Amherst, Philosophy 310, 511, 512, 594, 710
Hampshire, Computer Science 210
Various topics in computer science:
Smith, Computer Science 250, 270, 290, 294
Amherst, Computer Science 14, 24, 38
UMass Amherst, Computer Science 601
Hampshire, Computer Science 175, 236
Mount Holyoke, Computer Science 311
Various topics in mathematics:
Smith, Mathematics 217
Amherst, Mathematics 27
UMass Amherst, Philosophy 594S
Various topics in Linguistics:
Smith, Computer Science 294
UMass Amherst, Linguistics 610, 620, 720
Hampshire, Computer Science 166, 210