w23-logic-3/logic3.tex
Josia Pietsch bbb891594c
Some checks failed
Build latex and deploy / checkout (push) Failing after 17m33s
small fix
2024-02-12 19:14:38 +01:00

89 lines
1.7 KiB
TeX

\documentclass[10pt,a4paper,fancyfoot,git]{mkessler-script}
\course{Logic 3: Abstract Topological Dynamics and Descriptive Set Theory%
\gist{}{\texorpdfstring{\\ GIST}{}}%
}
\lecturer{Aleksandra Kwiatkowska}
%\assistant{}
\author{Josia Pietsch}
\usepackage{logic}
\begin{document}
\maketitle
%\frontmatter
\cleardoublepage
\setcounter{tocdepth}{2}
\tableofcontents
\cleardoublepage
\input{inputs/intro.tex}
%\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}
\input{inputs/lecture_19}
\input{inputs/lecture_20}
\input{inputs/lecture_21}
\input{inputs/lecture_22}
\input{inputs/lecture_23}
\input{inputs/lecture_24}
\input{inputs/lecture_25}
\input{inputs/lecture_26}
\input{inputs/lecture_27}
\cleardoublepage
\appendix
\section{Tutorial and Exercises}
\input{inputs/tutorial_01}
\input{inputs/tutorial_02}
\input{inputs/tutorial_03}
\input{inputs/tutorial_04}
\input{inputs/tutorial_05}
\input{inputs/tutorial_06}
\input{inputs/tutorial_07}
\input{inputs/tutorial_08}
\input{inputs/tutorial_09}
\input{inputs/tutorial_13} % sic!
\input{inputs/tutorial_10}
\input{inputs/tutorial_11}
\input{inputs/tutorial_12b}
\input{inputs/tutorial_12}
\input{inputs/tutorial_14}
\input{inputs/tutorial_15}
\section{Facts}
\input{inputs/facts}
\PrintVocabIndex
\printbibliography
\end{document}