News
Lecture on Friday, December 11
Written on 08.12.2020 21:29 by Jan Reineke
Dear all,
We will use part of the tutorial slot this Friday for a short lecture from 12:30 to approximately 13:00 to finish the lecture on "Propositional Logic, First-Order Logic, and First-Order Theories".
We will use the regular Zoom link for the lecture.
See you then,
Jan Reineke
Jan Reineke