w23-logic-2/inputs/intro.tex
Josia Pietsch bc24bdab44
Some checks failed
Build latex and deploy / checkout (push) Failing after 11m25s
Suggestions by Mirko (pages 1 - 18), thank you!
2023-12-03 02:50:36 +01:00

17 lines
553 B
TeX

These are my notes on the lecture Logic II
taught by \textsc{Ralf Schindler}
in winter 23/24 at the University Münster.
\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}.
These notes follow the way the material was presented in the lecture rather
closely. Additions (e.g.~from exercise sheets)
and slight modifications have been marked with $\dagger$.