w23-logic-2/README.md

21 lines
822 B
Markdown
Raw Permalink Normal View History

2023-10-16 16:24:38 +02:00
# 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.
2023-10-21 15:38:20 +02:00
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).
2023-10-16 16:24:38 +02:00
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