\include{prelude}

\begin{document}

\frontmatter
\pagenumbering{roman}
\setcounter{page}{1}

\thispagestyle{empty}

{\begingroup
\vspace*{0.08\textheight}
\ifdefined\TABLET
  \def\titlemargin{0.2\textwidth}
\else
  \def\titlemargin{0.3\textwidth}
\fi
\noindent
\hspace*{\titlemargin}{\Large\strut Anne Baanen} \\[.5\jot]
\noindent
\hspace*{\titlemargin}{\Large\strut Alexander Bentkamp} \\[.5\jot]
\noindent
\hspace*{\titlemargin}{\Large\strut Jasmin Blanchette} \\[.5\jot]
\noindent
\hspace*{\titlemargin}{\Large\strut Johannes H\"olzl} \\[.5\jot]
\noindent
\hspace*{\titlemargin}{\Large\strut Jannis Limperg} \\[0.16\textheight]
\noindent
\hspace*{\titlemargin}{\Huge\bfseries\itshape The Hitchhiker's Guide to\strut}\par
{\raggedleft\Huge\bfseries\itshape Logical Verification\strut\par}
\bigskip
\bigskip
\noindent
\hspace*{\titlemargin}{\Large\bfseries\itshape 2022 \edition{}~Edition} \\[\jot]
\noindent
\hspace*{\titlemargin}{(\today)}
\vfill
\noindent
\hspace*{\titlemargin}{\includegraphics[width=0.1\textwidth]{images/lfwd_icon_black}\par\medskip}
\noindent
\hspace*{\titlemargin}{\Large
\href{https://lean-forward.github.io/logical-verification/2022}{lean-forward.github.io/}\par}
{\raggedleft\Large
\href{https://lean-forward.github.io/logical-verification/2022}{logical-verification/2022}\hspace*{0.0225\textwidth}\par}
\vspace*{0.08\textheight}
\endgroup}

\newpage

~

\newpage

\pagestyle{plain}
\setcounter{tocdepth}{1}

\tableofcontents

\include{preface}

\thispagestyle{plain}
\pagestyle{loveheadings}

\mainmatter
\pagenumbering{arabic}
\setcounter{page}{1}

\part{Basics}

\include{ch01-definitions-and-statements}
\include{ch02-backward-proofs}
\include{ch03-forward-proofs}

\part{Functional--Logic Programming}

\include{ch04-functional-programming}
\include{ch05-inductive-predicates}
\include{ch06-monads}
\include{ch07-metaprogramming}

\part{Program Semantics}

\include{ch08-operational-semantics}
\include{ch09-hoare-logic}
\include{ch10-denotational-semantics}

\part{Mathematics}

\include{ch11-logical-foundations-of-mathematics}
\include{ch12-basic-mathematical-structures}
\include{ch13-rational-and-real-numbers}

\raggedright

\bibliography{bib}{}
\bibliographystyle{abbrv}

\end{document}
