From 8eba654cdcfd28cc4cfa8ced7a0e85d49ff93a64 Mon Sep 17 00:00:00 2001 From: Josia Pietsch Date: Fri, 15 Dec 2023 19:03:29 +0100 Subject: [PATCH] thank you! --- inputs/intro.tex | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/inputs/intro.tex b/inputs/intro.tex index 9ba46b2..04940f4 100644 --- a/inputs/intro.tex +++ b/inputs/intro.tex @@ -2,15 +2,21 @@ These are my notes on the lecture Logic II taught by \textsc{Ralf Schindler} in winter 23/24 at the University Münster. +Many thanks to \textsc{Fakhar Ahmad}, \textsc{Mirko Bartsch} and \textsc{Shiguma Kawamoto} +for providing notes for lectures I was unable attend! + +If you find errors or want to improve something, +please send me a message:\\ +\texttt{lecturenotes@jrpie.de}. + \begin{warning} This is not an official script. %The official lecture notes can be found on % \href{TODO}{here}. \end{warning} -If you find errors or want to improve something, -please send me a message:\\ -\texttt{lecturenotes@jrpie.de}. +% Many thanks to \textsc{Mirko Bartsch} for feedback and spotting mistakes! + These notes follow the way the material was presented in the lecture rather closely. Additions (e.g.~from exercise sheets)