Introduction to Logic for Teachers

MATH 58100


MATH 35100


Logical connectives, rules of sentential inference, quantifiers, bound and free variables, rules of inference, interpretations and validity, theorems in group theory, and introduction to set theory.

Class is offered only during Summer II of years ending in odd numbers, and only if there is sufficient student interest.