3 credits
This class is an introduction to various logical foundations of mathematics as well as the basics of logical metatheory.
Dana Tulodziecki
Want to add a post?