3. Syntax and semantics of first-order logic

These videos were produced for the University of Cambridge, as part of the Mathematics Part III Preparatory Workshop in 2023. They provide a brief introduction to the prerequisites for the Foundations courses. The topics covered include logic, set theory, and computability.

Видео 3. Syntax and semantics of first-order logic канала Ioannis Eleftheriadis