36:11 duration 36 minutes 11 seconds
10.b
Second video of the Inf2d lecture on First-Order Logic.
18:54 duration 18 minutes 54 seconds
10.a
First video of the Inf2d lecture on First-Order Logic.