One post tagged with "Logic"

This is a review and summary for course MATH 220BC, given by Professor Artem Chernikov and Andrew Marks.

In this post, I listed important theorems (in my mind) like a dictionary, so I can recall what I learnt when I read this in future. Only the overview and summary may be useful to other people.