LARA Topics Elements of Induction Propositional Logic Syntax Propositional Logic Semantics First-Order Logic Syntax First-Order Logic Semantics English and First-Order Logic
