All checks were successful
Build latex and deploy / checkout (push) Successful in 1m9s
822 B
822 B
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
The latest version is available on my website.
This project relies on the excellent Latex Packages by Maximilian Keßler as well as his CI-Pipeline. Also check out this blogpost by Gilles Castel, explaining how it is possible to write LaTeX fast enough to keep up with a lecturer.