w23-logic-2/logic2.tex
Josia Pietsch b1b2a5974d
Some checks failed
Build latex and deploy / checkout (push) Failing after 13m45s
some small changes
2024-02-11 02:43:20 +01:00

65 lines
1.1 KiB
TeX

\documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script}
\course{Logic II}
\lecturer{Ralf Schindler}
\assistant{Mirko Bartsch}
\author{Mirko Bartsch, Josia Pietsch}
\usepackage{logic}
\begin{document}
\maketitle
%\frontmatter
\cleardoublepage
\input{inputs/intro}
\tableofcontents
\cleardoublepage
%\mainmatter
\newpage
\input{inputs/lecture_01}
\input{inputs/lecture_02}
\input{inputs/lecture_03}
\input{inputs/lecture_04}
\input{inputs/lecture_05}
\input{inputs/lecture_06}
\input{inputs/lecture_07}
\input{inputs/lecture_08}
\input{inputs/lecture_09}
\input{inputs/lecture_10}
\input{inputs/lecture_11}
\input{inputs/lecture_12}
\input{inputs/lecture_13}
\input{inputs/lecture_14}
\input{inputs/lecture_15}
\input{inputs/lecture_16}
\input{inputs/lecture_17}
\input{inputs/lecture_18}
\gist{
\input{inputs/lecture_19}
\input{inputs/lecture_20}
\input{inputs/lecture_21}
\input{inputs/lecture_22}
\input{inputs/lecture_23}
}{
\newpage
\section{Forcing}
The rest of the course is not relevant for the exam.
}
\cleardoublepage
\appendix
\PrintVocabIndex
\end{document}