Josia Pietsch
5f5de21d3d
All checks were successful
Build latex and deploy / checkout (push) Successful in 1m9s
21 lines
822 B
Markdown
21 lines
822 B
Markdown
# 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
|