Set Theory & Mathematical Logic
Undergraduate course, University of Queensland, School of Mathematics and Physics, 2023
As tutor. Undergraduate course introducing formal computation, set theory and model theory.
Undergraduate course, University of Queensland, School of Mathematics and Physics, 2023
As tutor. Undergraduate course introducing formal computation, set theory and model theory.