Logic and set theory#

These are notes based off of Dexter Chua’s notes on the course Logic and set theory in the part IB Mathematics Tripos at Cambridge, lectured by Imre Leader in 2015.