\BOOKMARK [1][-]{section.1}{Initial remarks}{}
\BOOKMARK [1][-]{section.2}{Conclusion}{}
\BOOKMARK [1][-]{section.3}{Introduction}{}
\BOOKMARK [1][-]{section.4}{First order predicate calculus}{}
\BOOKMARK [2][-]{subsection.4.1}{Deduction lemma}{section.4}
\BOOKMARK [2][-]{subsection.4.2}{A little proof}{section.4}
\BOOKMARK [1][-]{section.5}{Natural deduction}{}
\BOOKMARK [2][-]{subsection.5.1}{Derived theorems}{section.5}
\BOOKMARK [2][-]{subsection.5.2}{Law of the Excluded Middle}{section.5}
\BOOKMARK [1][-]{section.A}{Pyk definitions}{}
\BOOKMARK [1][-]{section.B}{Tex definitions}{}
\BOOKMARK [1][-]{section.C}{Priority table}{}