Axiom Tutoring

View Original

Mathematical Logic Tutoring for 2022

For 2022 I'm running a discounted rate for tutoring in mathematical logic. This includes topics like completeness, soundness, compactness, Lowenheim-Skolem, Godel incompleteness, definability, decidability, recursion, and Morley's categoricity theorem. This course also sometimes goes by the title "Advanced Logic".