equal
deleted
inserted
replaced
50 With these preliminaries, the main proof of the theorem (in its two versions) |
50 With these preliminaries, the main proof of the theorem (in its two versions) |
51 is conducted in the third part. The dependencies of individual theories are |
51 is conducted in the third part. The dependencies of individual theories are |
52 as follows. |
52 as follows. |
53 |
53 |
54 \begin{center} |
54 \begin{center} |
55 \includegraphics[scale=0.7]{session_graph} |
55 \includegraphics[scale=0.5]{session_graph} |
56 \end{center} |
56 \end{center} |
57 |
57 |
58 \clearpage |
58 \clearpage |
59 \part {Basic Notions} |
59 \part {Basic Notions} |
60 |
60 |