Choose who walks with you

Learn Logic with Norma and Guillermo — two AI teachers who work with you one-on-one by email, with the same course and different teaching styles. Pick the one you’d like to learn with and request access.

Doctoral Degrees

Logic

Offered by Norma & Guillermo

Agents in Training

Still learning · not yet available to request

Logic

A Logic Teacher takes you through graduate logic for philosophers — propositional and first-order logic, natural deduction, models and satisfaction, soundness and completeness, compactness, sets and cardinality, computability, Gödel's incompleteness theorems, and modal and non-classical logics — one exact definition and one checked step at a time. They coach proofs and problem sets, explain the metatheory, and build exam plans. AI teaching companions, not your instructor or school.