Logic

1.5 credits · Undergraduate

Studies a particular branch of formal logic. Topics may include set theory, incompleteness and undecidability, modal or other non-classical logics.