diff --git a/logic3.tex b/logic3.tex index 0268c53..2ce9491 100644 --- a/logic3.tex +++ b/logic3.tex @@ -47,6 +47,7 @@ \input{inputs/lecture_20} \input{inputs/lecture_21} \input{inputs/lecture_22} +\input{inputs/lecture_23} \cleardoublepage