main.tex

\documentclass[a4paper,11pt]{article}
\usepackage{ml5}

% \bibliography{ }

\begin{document}

\maketitle
% здесь могла быть <s>ваша реклама</s> красивая титульная страница

\tableofcontents

\section{Логика предикатов}

\subsection{Истинность и доказуемость}

	\input{1-structures-terms-formulae}

	\input{2-statements-ultrafilters}

	\input{3-ultrafilters-more} 

	\input{4-lowering-highering}

	\input{5-axiomatization}

	\input{6-leccia}

	\input{7-leccia}

    \input{8-quantifier-elimination.tex}

\section{Неразрешимость и неполнота}
    \input{10-leccia.tex}

    \input{11-godel-and-recursive-functions.tex}

\section{Введение в вычислимость}

% \printbibliography

\end{document}