# Logic II These are my notes on the lecture Logic II, taught by Ralf Schindler in the winter 23/24 at the University Münster. **This is not an official script.** There are probably some errors. If you find some of them or want to improve something, please send me a message: [lecturenotes@jrpie.de](mailto:lecturenotes@jrpie.de) The [latest version][1] is available on my website. This project relies on the excellent [Latex Packages](https://gitlab.com/latexci/packages/LatexPackages) by Maximilian Keßler as well as his [CI-Pipeline](https://git.abstractnonsen.se/abstractnonsense/pages). Also check out [this blogpost](https://castel.dev/post/lecture-notes-3/) by Gilles Castel, explaining how it is possible to write LaTeX fast enough to keep up with a lecturer. [1]: https://notes.jrpie.de/logic2/logic2.pdf