Reasoning & Logic - Translating to predicate logic
Channel: Stefan Hugtenburg
Date: 2022-08-17

Pencast for the course Reasoning & Logic offered at Delft University of Technology.

Accompanies the open textbook: Delftse Foundations of Computation.