3 credits
This class is an introduction to various logical foundations of mathematics as well as the basics of logical metatheory.
Dana Tulodziecki
Have something to say?