Set-theoretic determinacy: Mathematical Logic course | Zoonk