LARA First-Order Logic Recall lecture06 on formal treatment of propositional logic. We extend this to first-order logic. Topics First-Order Logic Syntax First-Order Logic Semantics Isomorphism of Interpretations References Calculus of Computation Textbook, Chapter 2
