\BOOKMARK [1][-]{section.1}{Introduction to the course}{}% 1
\BOOKMARK [1][-]{section.2}{Proof systems}{}% 2
\BOOKMARK [2][-]{subsection.2.1}{Propositional proof system}{section.2}% 3
\BOOKMARK [2][-]{subsection.2.2}{Algebraic and semi-algebraic proof systems}{section.2}% 4
\BOOKMARK [2][-]{subsection.2.3}{Other proof systems}{section.2}% 5
\BOOKMARK [1][-]{section.3}{Cook-Reckhow propositional proof systems}{}% 6
\BOOKMARK [1][-]{section.4}{The landscape of proof complexity}{}% 7
\BOOKMARK [1][-]{section.5}{Resolution system}{}% 8
\BOOKMARK [2][-]{subsection.5.1}{Soundness and completeness of resolution}{section.5}% 9
\BOOKMARK [1][-]{section.6}{Pigeon-hole principle}{}% 10