Lecture

Predicate Logic: Introduction & Equivalences