Lectures related to Higher-order logic

Explores term models, substructures, small model theorems, and the Herbrand model in first-order logic.

Covers the translation of natural language sentences into predicate logic and the importance of quantifier order.

Covers Hoare logic, strongest postcondition, and weakest precondition for simplifying proofs in imperative programming.