Selaa lähdekoodia

structure and toc, preliminary format, intros, chapter 1

hk 6 vuotta sitten
commit
882221a26f

+ 4 - 0
.gitignore

@@ -0,0 +1,4 @@
+build/
+*.backup
+*.kilepr
+*.log

+ 33 - 0
Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex

@@ -0,0 +1,33 @@
+\documentclass[10pt,a5paper%,showframe
+]{bookvvmrus}
+\input{definitions.tex}
+
+\title{Введение в метаматематику}
+\author{Стефен Коул Клини}
+\date{1957}
+
+\begin{document}
+\input{title_pages.tex}
+
+\frontmatter
+\setcounter{page}{5}%
+\input{parts/intros.tex}
+
+\mainmatter
+\input{parts/part1-the_problems_of_foundations.tex}
+\input{parts/part2-mathematical_logic.tex}
+\input{parts/part3-recursive_functions.tex}
+\input{parts/part4-mathematical_logic_additional_topics.tex}
+
+\appendix
+\input{parts/translator_s_appendixes.tex}
+
+\backmatter
+\makeatletter%
+\def\toclevel@chapter{-1}%
+\makeatother%
+\printbibliography[title={Библиография},keyword={mainBibliography}]
+
+\tableofcontents
+
+\end{document}

+ 39 - 0
README.md

@@ -0,0 +1,39 @@
+*Клини Стефен К.*
+
+**Введение в метаматематику**
+
+*перевод с английского А. С. Есенин-Вольпин*
+
+*под редакцией В. А. Успенского*
+
+1957 год
+
+#### Оригинал
+
+<a href="magnet:?dn=19520700-Kleene_S.C.-Vvedenie_v_metamatematiku[1957y][527p]-russian.scans.djvu&xt=urn:ed2k:394dd70b4afe3e3cb22020792c32cf3b&xt=urn:ed2khash:394dd70b4afe3e3cb22020792c32cf3b&xl=8206946">ed2k</a>
+&nbsp; &nbsp; &nbsp; 
+<a href="magnet:?xt=urn:btih:8fe32699f4221c48ad543708dc8c2622b4d31c56">torrent</a>
+
+#### Замечания по сборке
+
+1. Сборка осуществляется скриптом `build_script`, который использует `xelatex`.
+Результат сохраняется в подкаталоге `build`.
+
+2. Перед сборкой убедитесь в наличии всех пакетов, включаемых в файле
+`definitions.tex` инструкциями `\usepackage` и `\RequirePackage`.
+
+3. Перед сборкой убедитесь в наличии всех используемых шрифтов, перечисленных в
+файле `definitions.tex` в параметрах инструкций `\set*font` и `\newfontfamily`.
+
+#### Замечания по соответствию оригиналу
+
+1. Исправлены замеченные опечатки и ошибки. Эти изменения относительно
+оригинала отмечены в исходном коде комментариями под абзацами, в которых
+произведены изменения.
+
+2. Восстановлена буква "ё".
+
+3. Для отображения основного текста использован шрифт "Adobe Garamond Premier
+Pro", однако в оригинале использовалась гарнитура "Литературная"
+(ГОСТ-3489.33-72). Если удастся получить набор всех начертаний гарнитуры
+"Литературная", этот недостаток будет исправлен.

+ 187 - 0
bibliography.bib

@@ -0,0 +1,187 @@
+
+@article{cantor1874,
+    author = "Кантор",
+    nameaddon = "(Cantor Georg)",
+    title = "{{\"U}ber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahleh}",
+    journal = "Journal f{\"u}r die reine und angewandte Mathematik",
+    number = "77",
+    pages = "258--262",
+    year = "1874",
+    addendum = "Перепечатана в Georg Cantor Gesammelte Abhandlungen, Berlin (Springer), 1932, p. 115--118.",
+    keywords = {mainBibliography}
+}
+@article{cantor1895,
+    author = "Кантор",
+    nameaddon = "(Cantor Georg)",
+    title = "{Beitr{\"a}ge zur Begr{\"u}ndung der transfiniten Mengenlehre}",
+    journal = "Mathematische Annalen",
+    number = "46",
+    pages = "481--512",
+    year = "1895",
+    number = "49",
+    pages = "207--246",
+    year = "1897",
+    addendum = "Перепечатана в Georg Cantor Gesammelte Abhandlungen, стр. 282--351. Английский перевод Журдэна (Ph. E. B. Jourdain) под заголовком Contributions to the founding of the theory of transfinite numbers, Chicago and London (Open Court), 1915, xi+211 p.",
+    keywords = {mainBibliography}
+}
+
+@book{frege1884,
+    author = "Фреге",
+    nameaddon = "(Frege Gottlob)",
+    title = "{Die Grundlagen der Arithmetik, eine logisch-mathematische Untersuchung {\"u}ber den Begriff der Zahl}",
+    pagetotal = "XIX+119 p.",
+    year = "1884",
+    location = "Breslau",
+    addendum = "Перепечатка: Breslau (M. \& H. Marcus) 1934. Английский перевод Остина (J. L. Austin) (с немецким оригиналом): The foundation of arithmetics. A logico-mathematical enquiry into concept of number. Oxford (Basil Blackwell) and New York (Philosophical Library) 1950, (XII+XI, 119)\texttimes 2 стр.",
+    keywords = {mainBibliography}
+}
+
+% TODO: уточнить название
+@article{russel1902,
+    author = "Рассел",
+    nameaddon = "(Russell Bertrand) (Russel B. A. W.)",
+    title = "{On finite and infinite cardinal numbers (\textsection~III, статьи Уайтхеда On cardinal numbers)}",
+    journal = "Amer. journ. math.",
+    number = "24",
+    pages = "378--383",
+    year = "1902",
+    keywords = {mainBibliography}
+}
+
+@article{neumann1928,
+    author = "Нейман",
+    nameaddon = "(Neumann, John von)",
+    title = "{Die Axiomatisierung der Mengenlehre}",
+    journal = "Math. Zeit.",
+    number = "27",
+    pages = "669--752",
+    year = "1928",
+    keywords = {mainBibliography}
+}
+
+@article{bernstein1898,
+    author = "Бернштейн",
+    nameaddon = "(Bernstein Felix)",
+    year = "1898",
+    addendum = "См. Борель~\cite[стр. 104]{borel1898}",
+    keywords = {mainBibliography}
+}
+
+@book{borel1898,
+    author = "Борель",
+    nameaddon = "(Borel {\'E}mile)",
+    title = "{Le{\c{c}}ons sur la th{\'e}orie des fonctions}",
+    location = "Paris",
+    publisher = "Gauthier-Villars",
+    year = "1898",
+    keywords = {mainBibliography}
+}
+
+@book{dedekind1888,
+    author = "Дедекинд",
+    nameaddon = "(Dedekind Richard)",
+    title = "{Was sind und was sollen die Zahlen?}",
+    location = "Braunschweig",
+    edition = "6-ое изд.",
+    pubstate = "1930",
+    year = "1888",
+    addendum = "Также в Werke, vol. III, 335--391. Английский перевод Бимена (Beman), The nature and meaning of numbers, loc. cit., p. 31--105.",
+    keywords = {mainBibliography}
+}
+
+@book{hausdorff1914,
+    author = "Хаусдорф",
+    nameaddon = "(Hausdorff Felix)",
+    title = "{Grundz{\"u}ge der Mengenlehre}",
+    location = "Leipzig",
+    publisher = "Viet",
+    year = "1914",
+    pagetotal = "VIII+467 p.",
+    keywords = {mainBibliography}
+}
+
+@book{hausdorff1927,
+    author = "Хаусдорф",
+    nameaddon = "(Hausdorff Felix)",
+    title = "{Mengenlehre}",
+    location = "Berlin und Leipzig",
+    publisher = "Gruyter",
+    year = "1927",
+    edition = "второе переработанное издание~\cite{hausdorff1914} (в некоторых вопросах менее полное)",
+    pagetotal = "285 p.",
+    library = "G{\"o}schens Lehrb{\"u}cherei, I Gruppe Band 7",
+    addendum = "3-е изд., 1935, 307 p. Перепечатка: New York (Dover Publications) 1944. \lbrack Русский перевод: {\sparseFnt Хаусдорф}, Теория множеств, ОНТИ, М.---Л., 1937, 304 стр.\rbrack",
+    keywords = {mainBibliography}
+}
+
+@book{fraenkel1928,
+    author = "Френкель",
+    nameaddon = "(Fraenkel Adolf)",
+    title = "{Einleitung in die Mengenlehre}",
+    location = "Berlin",
+    publisher = "Springer",
+    year = "1928",
+    edition = "3-е изд.",
+    pagetotal = "XIII+424 p.",
+    addendum = "Перепечатка: New York (Dover Publications) 1946",
+    keywords = {mainBibliography}
+}
+
+@book{fraenkel1952,
+    author = "Френкель",
+    nameaddon = "(Fraenkel Adolf)",
+    title = "{Abstract set theory}",
+    series="Studies in logic and the foundations of mathematics",
+    location = "Amsterdam",
+    publisher = "North-Holland Pub. Co.",
+    year = "1952",
+    pagetotal = "XII+489 p.",
+    addendum = "вышла в 1953 г.",
+    keywords = {mainBibliography}
+}
+
+@article{zermelo1904,
+    author = "Цермело",
+    nameaddon = "(Zermelo Ernst)",
+    title = "{Beweis, da{\ss} jede Menge wohlgeordnet werden kann}",
+    journal = "Math. Ann.",
+    number = "59",
+    pages = "514--516",
+    year = "1904",
+    addendum = "См. также~\cite{zermelo1908a}",
+    keywords = {mainBibliography}
+}
+
+% ibidem to journal = "Math. Ann."
+@article{zermelo1908a,
+    author = "Цермело",
+    nameaddon = "(Zermelo Ernst)",
+    title = "{Neuer Beweis f{\"u}r die M{\"o}glichkeit einer Wohlordnung}",
+    journal = "ibid.",
+    number = "65",
+    pages = "107--128",
+    pubstate = "1908a",
+    year = "1908a",
+    keywords = {mainBibliography}
+}
+
+@article{goedel1947,
+    author = "Гёдель",
+    nameaddon = "(G{\"o}del Kurt)",
+    title = "{What is Cantor's continuum problem?}",
+    journal = "American mathematical monthly",
+    number = "54",
+    pages = "515-525",
+    year = "1947",
+    keywords = {mainBibliography}
+}
+
+@book{aleksandrov1948,
+    author = "П. С. Александров",
+    title = "{Введение в общую теорию функций}",
+    publisher = "М.---Л.",
+    pubstate = "1948",
+    year = "1948\textdegree",
+    pagetotal = "441 стр.",
+    keywords = {mainBibliography}
+}

Tiedoston diff-näkymää rajattu, sillä se on liian suuri
+ 1042 - 0
bookvvmrus.bbx


+ 177 - 0
bookvvmrus.cbx

@@ -0,0 +1,177 @@
+\ProvidesFile{bookvvmrus.cbx}
+[\abx@cbxid]
+
+\ExecuteBibliographyOptions{labeldateparts,uniquename,uniquelist,autocite=inline}
+%%=================================================
+\renewcommand*{\multicitedelim}{\addcomma\space}
+%%=================================================
+\renewcommand*{\iffinalcitedelim}{\iflastcitekey}
+
+\newbool{cbx:parens}
+
+\newbibmacro*{cite}{%
+  \iffieldundef{shorthand}
+    {\ifthenelse{\ifnameundef{labelname}\OR\iffieldundef{labelyear}}
+       {\usebibmacro{cite:label}%
+        \setunit{\printdelim{nonameyeardelim}}}
+       %{\printnames{labelname}%
+       {\printnames{labelyear}%
+        \setunit{\printdelim{nameyeardelim}}}%
+     \usebibmacro{cite:labelyear+extrayear}}
+    {\usebibmacro{cite:shorthand}}}
+
+\newbibmacro*{citeyear}{%
+  \iffieldundef{shorthand}
+    {\iffieldundef{labelyear}
+       {\usebibmacro{cite:label}}
+       {\usebibmacro{cite:labelyear+extrayear}}}
+    {\usebibmacro{cite:shorthand}}}
+
+\newbibmacro*{textcite}{%
+  \ifnameundef{labelname}
+    {\iffieldundef{shorthand}
+       {\usebibmacro{cite:label}%
+        \setunit{%
+          \global\booltrue{cbx:parens}%
+          \printdelim{nonameyeardelim}\bibopenparen}%
+        \ifnumequal{\value{citecount}}{1}
+          {\usebibmacro{prenote}}
+          {}%
+        \usebibmacro{cite:labelyear+extrayear}}
+       {\usebibmacro{cite:shorthand}}}
+    {\printnames{labelname}%
+     \setunit{%
+       \global\booltrue{cbx:parens}%
+       \printdelim{nameyeardelim}\bibopenparen}%
+     \ifnumequal{\value{citecount}}{1}
+       {\usebibmacro{prenote}}
+       {}%
+     \usebibmacro{citeyear}}}
+
+\newbibmacro*{cite:shorthand}{%
+  \printtext[bibhyperref]{\printfield{shorthand}}}
+
+\newbibmacro*{cite:label}{%
+  \iffieldundef{label}
+    {\printtext[bibhyperref]{\printfield[citetitle]{labeltitle}}}
+    {\printtext[bibhyperref]{\printfield{label}}}}
+
+% Inside \printtext, argumentless macros also need '%' afterwards
+% otherwise the newlines are spaces
+\newbibmacro*{cite:labelyear+extrayear}{%
+  \iffieldundef{labelyear}
+    {}
+    {\printtext[bibhyperref]{%
+     \ifdefstring\blx@dateformat@labeldate{edtf}
+       {}
+       {\datecircaprint}%
+     \dateeraprintpre{labelyear}%
+     \printfield{labelyear}%
+     \printfield{extrayear}%
+     \dateuncertainprint%
+     \iffieldsequal{labeldateera}{labelenddateera}{}
+       {\dateeraprint{labelyear}}%
+     \ifdefstring\blx@dateformat@labeldate{edtf}
+       {\datecircaprintedtf}
+       {}%
+     \iffieldundef{labelendyear}
+       {}
+       {\iffieldsequal{labelyear}{labelendyear}{}
+        {\ifdefstring\blx@dateformat@labeldate{edtf}
+          {\slash}% strict EDTF
+          {\bibdaterangesep
+           \enddatecircaprint}%
+         \dateeraprintpre{labelendyear}%
+         \printfield{labelendyear}%
+         \enddateuncertainprint
+         \ifdefstring\blx@dateformat@labeldate{edtf}
+           {\enddatecircaprintedtf}
+           {}%
+         \dateeraprint{labelendyear}}}}}}
+
+\newbibmacro*{textcite:postnote}{%
+  \iffieldundef{postnote}
+    {\ifbool{cbx:parens}
+       {\bibcloseparen}
+       {}}
+    {\ifbool{cbx:parens}
+       {\setunit{\postnotedelim}}
+       {\setunit{\extpostnotedelim\bibopenparen}}%
+     \printfield{postnote}\bibcloseparen}}
+
+\DeclareCiteCommand{\cite}
+  {\lbrack\usebibmacro{prenote}}%
+  {\usebibmacro{citeindex}%
+   \usebibmacro{cite}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}\rbrack}
+
+\DeclareCiteCommand*{\cite}
+  {\usebibmacro{prenote}}%
+  {\usebibmacro{citeindex}%
+   \usebibmacro{citeyear}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand{\parencite}[\mkbibparens]
+  {\usebibmacro{prenote}}%
+  {\usebibmacro{citeindex}%
+   \usebibmacro{cite}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand*{\parencite}[\mkbibparens]
+  {\usebibmacro{prenote}}
+  {\usebibmacro{citeindex}%
+   \usebibmacro{citeyear}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand{\footcite}[\mkbibfootnote]
+  {\usebibmacro{prenote}}
+  {\usebibmacro{citeindex}%
+   \usebibmacro{cite}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand{\footcitetext}[\mkbibfootnotetext]
+  {\usebibmacro{prenote}}
+  {\usebibmacro{citeindex}%
+   \usebibmacro{cite}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand{\smartcite}[\iffootnote\mkbibparens\mkbibfootnote]
+  {\usebibmacro{prenote}}
+  {\usebibmacro{citeindex}%
+   \usebibmacro{cite}}
+  {\multicitedelim}
+  {\usebibmacro{postnote}}
+
+\DeclareCiteCommand{\textcite}
+  {\boolfalse{cbx:parens}}
+  {\usebibmacro{citeindex}%
+   \iffirstcitekey
+     {\setcounter{textcitetotal}{1}}
+     {\stepcounter{textcitetotal}%
+      \textcitedelim}%
+   \usebibmacro{textcite}}
+  {\ifbool{cbx:parens}
+     {\bibcloseparen\global\boolfalse{cbx:parens}}
+     {}}
+  {\usebibmacro{textcite:postnote}}
+
+\DeclareMultiCiteCommand{\textcites}{\textcite}{}
+%%==============================================================================
+\DeclareLabeldate{%
+    \field{pubstate}
+    \field{date}
+    \field{year}
+    \field{eventdate}
+    \field{origdate}
+    \field{urldate}
+    \literal{nodate}
+}
+
+%%==============================================================================
+\endinput

+ 950 - 0
bookvvmrus.cls

@@ -0,0 +1,950 @@
+%% This is file `extbook.cls',
+%% Copyright 1993 1994 1995 1996 1997 1998 1999
+%% The LaTeX3 Project and any individual authors listed elsewhere
+%% in this file.
+\NeedsTeXFormat{LaTeX2e}[1995/12/01]
+\ProvidesClass{bookvvmrus}
+              [1999/01/07 v1.4a
+ NON-Standard LaTeX document class]
+\newcommand\@ptsize{}
+\newif\if@restonecol
+\newif\if@titlepage
+\@titlepagetrue
+\newif\if@openright
+\newif\if@mainmatter \@mainmattertrue
+\newif\if@frontmatter \@frontmattertrue
+\DeclareOption{f70x100_16}
+   {\setlength\paperheight {240mm}%
+    \setlength\paperwidth  {170mm}}
+\DeclareOption{a4paper}
+   {\setlength\paperheight {297mm}%
+    \setlength\paperwidth  {210mm}}
+\DeclareOption{a5paper}
+   {\setlength\paperheight {210mm}%
+    \setlength\paperwidth  {148mm}}
+\DeclareOption{b5paper}
+   {\setlength\paperheight {250mm}%
+    \setlength\paperwidth  {176mm}}
+\DeclareOption{letterpaper}
+   {\setlength\paperheight {11in}%
+    \setlength\paperwidth  {8.5in}}
+\DeclareOption{legalpaper}
+   {\setlength\paperheight {14in}%
+    \setlength\paperwidth  {8.5in}}
+\DeclareOption{executivepaper}
+   {\setlength\paperheight {10.5in}%
+    \setlength\paperwidth  {7.25in}}
+\DeclareOption{landscape}
+   {\setlength\@tempdima   {\paperheight}%
+    \setlength\paperheight {\paperwidth}%
+    \setlength\paperwidth  {\@tempdima}}
+\DeclareOption{8pt}{\renewcommand\@ptsize{8}}
+\DeclareOption{9pt}{\renewcommand\@ptsize{9}}
+\DeclareOption{10pt}{\renewcommand\@ptsize{0}}
+\DeclareOption{11pt}{\renewcommand\@ptsize{1}}
+\DeclareOption{12pt}{\renewcommand\@ptsize{2}}
+\DeclareOption{14pt}{\renewcommand\@ptsize{14}}
+\DeclareOption{17pt}{\renewcommand\@ptsize{17}}
+\DeclareOption{20pt}{\renewcommand\@ptsize{20}}
+\DeclareOption{oneside}{\@twosidefalse \@mparswitchfalse}
+\DeclareOption{twoside}{\@twosidetrue  \@mparswitchtrue}
+\DeclareOption{draft}{\setlength\overfullrule{5pt}}
+\DeclareOption{final}{\setlength\overfullrule{0pt}}
+\DeclareOption{titlepage}{\@titlepagetrue}
+\DeclareOption{notitlepage}{\@titlepagefalse}
+\DeclareOption{openright}{\@openrighttrue}
+\DeclareOption{openany}{\@openrightfalse}
+\DeclareOption{onecolumn}{\@twocolumnfalse}
+\DeclareOption{twocolumn}{\@twocolumntrue}
+\DeclareOption{leqno}{\input{leqno.clo}}
+\DeclareOption{fleqn}{\input{fleqn.clo}}
+\DeclareOption{openbib}{%
+  \AtEndOfPackage{%
+   \renewcommand\@openbib@code{%
+      \advance\leftmargin\bibindent
+      \itemindent -\bibindent
+      \listparindent \itemindent
+      \parsep \z@
+      }%
+   \renewcommand\newblock{\par}}%
+}
+\ExecuteOptions{letterpaper,10pt,twoside,onecolumn,final,openright}
+\ProcessOptions
+\def\EC@family#1#2#3#4#5{%
+  \DeclareFontShape{#1}{#2}{#3}{#4}%
+  {<5><6><7><8><9><10><10.95><12><14.4>%
+   <17.28><20.74><24.88><29.86><35.83><42.99><51.59>genb*#5}{}}
+\EC@family{T1}{cmr}{m}{n}{ecrm}
+\EC@family{T1}{cmr}{m}{sl}{ecsl}
+\EC@family{T1}{cmr}{m}{it}{ecti}
+\EC@family{T1}{cmr}{m}{sc}{eccc}
+\EC@family{T1}{cmr}{bx}{n}{ecbx}
+\EC@family{T1}{cmr}{b}{n}{ecrb}
+\EC@family{T1}{cmr}{bx}{it}{ecbi}
+\EC@family{T1}{cmr}{bx}{sl}{ecbl}
+\EC@family{T1}{cmr}{bx}{sc}{ecxc}
+\EC@family{T1}{cmr}{m}{ui}{ecui}
+\DeclareFontShape{OT1}{cmr}{m}{n}%
+     {<5><6><7><8><9><10><12>gen*cmr%
+      <10.95>cmr10%
+      <14.4>cmr12%
+      <17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmr17}{}
+\DeclareFontShape{OT1}{cmr}{m}{sl}%
+     {<5><6><7>cmsl8%
+      <8><9>gen*cmsl%
+      <10><10.95>cmsl10%
+      <12><14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmsl12%
+      }{}
+\DeclareFontShape{OT1}{cmr}{m}{it}%
+     {<5><6><7>cmti7%
+      <8>cmti8%
+      <9>cmti9%
+      <10><10.95>cmti10%
+      <12><14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmti12%
+      }{}
+\DeclareFontShape{OT1}{cmr}{m}{sc}%
+     {<5><6><7><8><9><10><10.95><12>%
+      <14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmcsc10%
+      }{}
+\DeclareFontShape{OT1}{cmr}{m}{ui}
+   {<5><6><7><8><9><10><10.95><12>%
+      <14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmu10%
+      }{}
+\DeclareFontShape{OT1}{cmr}{b}{n}
+     {<5><6><7><8><9><10><10.95><12>%
+      <14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmb10%
+      }{}
+\DeclareFontShape{OT1}{cmr}{bx}{n}
+   {<5><6><7><8><9>gen*cmbx%
+      <10><10.95>cmbx10%
+      <12><14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmbx12%
+      }{}
+\DeclareFontShape{OT1}{cmr}{bx}{sl}
+      {<5><6><7><8><9>%
+      <10><10.95><12><14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmbxsl10%
+      }{}
+\DeclareFontShape{OT1}{cmr}{bx}{it}
+      {<5><6><7><8><9>%
+      <10><10.95><12><14.4><17.28><20.74><24.88><29.86><35.83><42.99><51.59>cmbxti10%
+      }{}
+\ifnum\@ptsize<3
+  \input{bk1\@ptsize.clo}
+\else
+  \input{size\@ptsize.clo}
+\fi
+%%==============================================================================
+\RequirePackage{exscale}
+\RequirePackage{calc}
+\RequirePackage{fontspec}
+\newlength{\WoLongestChNm}\setlength{\WoLongestChNm}{1.5em}
+\newlength{\WoLongestApxNm}\setlength{\WoLongestApxNm}{1.5em}
+\newlength{\AsterixLen}\setlength{\AsterixLen}{2.75em}
+\newlength{\ParagrLen}\setlength{\ParagrLen}{2.75em}
+\newlength{\SectTocMarkIndent}\setlength{\SectTocMarkIndent}{2.75em}
+\newlength{\WoLongestSeNm}\setlength{\WoLongestSeNm}{2.3em}
+\newlength{\TotlWoLongestSect}\setlength{\TotlWoLongestSect}{2.3em}
+\def\@SectPrefix{\textsection}%
+
+%%==============================================================================
+\setlength\lineskip{1\p@}
+\setlength\normallineskip{1\p@}
+\renewcommand\baselinestretch{}
+\setlength\parskip{0\p@ \@plus \p@}
+\@lowpenalty   51
+\@medpenalty  151
+\@highpenalty 301
+\setcounter{topnumber}{2}
+\renewcommand\topfraction{.7}
+\setcounter{bottomnumber}{1}
+\renewcommand\bottomfraction{.3}
+\setcounter{totalnumber}{3}
+\renewcommand\textfraction{.2}
+\renewcommand\floatpagefraction{.5}
+\setcounter{dbltopnumber}{2}
+\renewcommand\dbltopfraction{.7}
+\renewcommand\dblfloatpagefraction{.5}
+\if@twoside
+  \def\ps@headings{%
+      \let\@oddfoot\@empty\let\@evenfoot\@empty
+      \def\@evenhead{\thepage\hfil\slshape\leftmark}%
+      \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+      \let\@mkboth\markboth
+    \def\chaptermark##1{%
+      \markboth {\MakeUppercase{%
+        \ifnum \c@secnumdepth >\m@ne
+          \if@mainmatter
+             \@chapapp\ \thechapter. \ %
+          \fi
+        \fi
+        ##1}}{}}%
+    \def\sectionmark##1{%
+      \markright {\MakeUppercase{%
+        \ifnum \c@secnumdepth >\z@
+          \thesection. \ %
+        \fi
+        ##1}}}}
+\else
+  \def\ps@headings{%
+    \let\@oddfoot\@empty
+    \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+    \let\@mkboth\markboth
+    \def\chaptermark##1{%
+      \markright {\MakeUppercase{%
+        \ifnum \c@secnumdepth >\m@ne
+          \if@mainmatter
+            \@chapapp\ \thechapter. \ %
+          \fi
+        \fi
+        ##1}}}}
+\fi
+\def\ps@myheadings{%
+    \let\@oddfoot\@empty\let\@evenfoot\@empty
+    \def\@evenhead{\thepage\hfil\slshape\leftmark}%
+    \def\@oddhead{{\slshape\rightmark}\hfil\thepage}%
+    \let\@mkboth\@gobbletwo
+    \let\chaptermark\@gobble
+    \let\sectionmark\@gobble
+    }
+  \if@titlepage
+  \newcommand\maketitle{\begin{titlepage}%
+  \let\footnotesize\small
+  \let\footnoterule\relax
+  \let \footnote \thanks
+  \null\vfil
+  \vskip 60\p@
+  \begin{center}%
+    {\LARGE \@title \par}%
+    \vskip 3em%
+    {\large
+     \lineskip .75em%
+      \begin{tabular}[t]{c}%
+        \@author
+      \end{tabular}\par}%
+      \vskip 1.5em%
+    {\large \@date \par}%       % Set date in \large size.
+  \end{center}\par
+  \@thanks
+  \vfil\null
+  \end{titlepage}%
+  \setcounter{footnote}{0}%
+  \global\let\thanks\relax
+  \global\let\maketitle\relax
+  \global\let\@thanks\@empty
+  \global\let\@author\@empty
+  \global\let\@date\@empty
+  \global\let\@title\@empty
+  \global\let\title\relax
+  \global\let\author\relax
+  \global\let\date\relax
+  \global\let\and\relax
+}
+\else
+\newcommand\maketitle{\par
+  \begingroup
+    \renewcommand\thefootnote{\@fnsymbol\c@footnote}%
+    \def\@makefnmark{\rlap{\@textsuperscript{\normalfont\@thefnmark}}}%
+    \long\def\@makefntext##1{\parindent 1em\noindent
+            \hb@xt@1.8em{%
+                \hss\@textsuperscript{\normalfont\@thefnmark}}##1}%
+    \if@twocolumn
+      \ifnum \col@number=\@ne
+        \@maketitle
+      \else
+        \twocolumn[\@maketitle]%
+      \fi
+    \else
+      \newpage
+      \global\@topnum\z@   % Prevents figures from going at top of page.
+      \@maketitle
+    \fi
+    \thispagestyle{plain}\@thanks
+  \endgroup
+  \setcounter{footnote}{0}%
+  \global\let\thanks\relax
+  \global\let\maketitle\relax
+  \global\let\@maketitle\relax
+  \global\let\@thanks\@empty
+  \global\let\@author\@empty
+  \global\let\@date\@empty
+  \global\let\@title\@empty
+  \global\let\title\relax
+  \global\let\author\relax
+  \global\let\date\relax
+  \global\let\and\relax
+}
+\def\@maketitle{%
+  \newpage
+  \null
+  \vskip 2em%
+  \begin{center}%
+  \let \footnote \thanks
+    {\LARGE \@title \par}%
+    \vskip 1.5em%
+    {\large
+      \lineskip .5em%
+      \begin{tabular}[t]{c}%
+        \@author
+      \end{tabular}\par}%
+    \vskip 1em%
+    {\large \@date}%
+  \end{center}%
+  \par
+  \vskip 1.5em}
+\fi
+\newcommand*\partmark[1]{}
+\newcommand*\chaptermark[1]{}
+\setcounter{secnumdepth}{2}
+\newcounter {part}
+\newcounter {chapter}
+\newcounter {section}
+\newcounter {subsection}[section]
+\newcounter {subsubsection}[subsection]
+\newcounter {paragraph}[subsubsection]
+\newcounter {subparagraph}[paragraph]
+\renewcommand \thepart {\@Roman\c@part}
+\renewcommand \thechapter {\@Roman\c@chapter}
+\renewcommand \thesection {\@arabic\c@section}
+\renewcommand\thesubsection   {\thesection.\@arabic\c@subsection}
+\renewcommand\thesubsubsection{\thesubsection .\@arabic\c@subsubsection}
+\renewcommand\theparagraph    {\thesubsubsection.\@arabic\c@paragraph}
+\renewcommand\thesubparagraph {\theparagraph.\@arabic\c@subparagraph}
+\newcommand\@partapp{\partname}
+\newcommand\@chapapp{\chaptername}
+\newcommand\frontmatter{%
+    \cleardoublepage
+    \@mainmatterfalse
+    \pagenumbering{arabic}%
+    \renewcommand{\partmark}[1]{}%
+    \renewcommand{\chaptermark}[1]{\markboth{{\small ##1}}{{\small ##1}}}%
+    \renewcommand{\sectionmark}[1]{}%
+    \fancyhead[CE]{\itshape\nouppercase{\leftmark}}%
+    \fancyhead[CO]{\itshape\nouppercase{\rightmark}}%
+}
+\newcommand\mainmatter{%
+    \cleardoublepage
+    \@mainmattertrue
+    \renewcommand{\partmark}[1]{}%
+    \renewcommand{\chaptermark}[1]{%
+        \markboth{{\small Ч. \thepart, гл. \thechapter. ##1}}{}}%
+    \renewcommand{\sectionmark}[1]{%
+        \markright{{\small \textsection\ \thesection. ##1}}}%
+    \fancyhead[CE]{\itshape\nouppercase{\leftmark}}%
+    \fancyhead[CO]{\itshape\nouppercase{\rightmark}}%
+}
+\newcommand\backmatter{%
+    \if@openright
+        \cleardoublepage
+    \else
+        \clearpage
+    \fi
+    \@mainmatterfalse
+    \renewcommand{\partmark}[1]{}%
+    \renewcommand{\chaptermark}[1]{\markboth{{\small ##1}}{{\small ##1}}}%
+    \renewcommand{\sectionmark}[1]{}%
+    \fancyhead[CE]{\itshape\nouppercase{\leftmark}}%
+    \fancyhead[CO]{\itshape\nouppercase{\rightmark}}%
+}
+\newcommand\part{%
+  \if@openright
+    \cleardoublepage
+  \else
+    \clearpage
+  \fi
+  \thispagestyle{empty}%
+  \if@twocolumn
+    \onecolumn
+    \@tempswatrue
+  \else
+    \@tempswafalse
+  \fi
+  \null\vfil
+  \secdef\@part\@spart}
+
+\def\@part[#1]#2{%
+    \ifnum \c@secnumdepth >-2\relax
+        \refstepcounter{part}%
+        \addcontentsline{toc}{part}{%
+            \texorpdfstring{%
+                {\sparseFnt\partname\hspace*{.5em}}\thepart\\*
+                \vskip 1ex
+                {\bfseries\MakeUppercase{#1}}
+            }{Ч.\thepart. #1}%
+        }%
+        %{\thepart\hspace{1em}#1}%
+    \else
+      \addcontentsline{toc}{part}{#1}%
+    \fi
+    \markboth{}{}%
+    {\centering
+     \interlinepenalty \@M
+     \normalfont
+     \ifnum \c@secnumdepth >-2\relax
+       \large {\sparseFnt\MakeUppercase{\partname}\hspace*{1em}}\thepart%
+       \par
+       \vskip 20\p@
+     \fi
+     \Large \bfseries \MakeUppercase{#2}\par}%
+    \@endpart}
+\def\@spart#1{%
+    \addcontentsline{toc}{part}{%
+      \texorpdfstring{\bfseries\MakeUppercase{#1}}{#1}}
+    \partmark{#1}%
+    {\centering
+     \interlinepenalty \@M
+     \normalfont
+     \Large \bfseries \MakeUppercase{#1}\par}%
+    \@endpart}
+\def\@endpart{\vfil\newpage
+              \if@twoside
+                \null
+                \thispagestyle{empty}%
+                \newpage
+              \fi
+              \if@tempswa
+                \twocolumn
+              \fi}
+\newcommand\chapter{
+    \if@mainmatter%
+        \if@openright\cleardoublepage\else\clearpage\fi%
+    \else%
+        \ifx\YouAreInAppendix\undefined%
+        \newpage\fi%
+    \fi%
+    \thispagestyle{empty}%
+    \global\@topnum\z@%
+    \@afterindentfalse%
+    \secdef\@chapter\@schapter%
+}
+\def\@chapter[#1]#2{%
+    \ifnum \c@secnumdepth >\m@ne
+        \if@mainmatter
+            \refstepcounter{chapter}%
+            \typeout{\@chapapp\space\thechapter.}%
+            \addcontentsline{toc}{chapter}{%
+                \texorpdfstring{%
+                    \hbox to \WoLongestChNm {%
+                        {\sparseFnt\chaptername}\hfil\thechapter.\hfil}%
+                \bfseries #1}{гл.\thechapter. #1}%
+            }
+        \else
+            \refstepcounter{chapter}%
+            \typeout{\@chapapp\space\thechapter.}%
+            \addcontentsline{toc}{appendix}{%
+                \texorpdfstring{%
+                     \hbox to \WoLongestApxNm {%
+                        {\sparseFnt\chaptername}\hfil\thechapter.\hfil}%
+                \bfseries #1}{доб.\thechapter. #1}%
+            }
+        \fi
+    \else
+        \addcontentsline{toc}{appendix}{#1}%
+    \fi
+    \chaptermark{#1}%
+    \addtocontents{lof}{\protect\addvspace{10\p@}}%
+    \addtocontents{lot}{\protect\addvspace{10\p@}}%
+    \if@twocolumn
+        \@topnewpage[\@makechapterhead{#2}]%
+    \else
+        \@makechapterhead{#2}%
+        \@afterheading
+    \fi%
+    }
+\def\@makechapterhead#1{%
+    \if@mainmatter
+        \vspace*{50\p@}%
+        {\parindent \z@ \centering \normalfont
+            \ifnum \c@secnumdepth >\m@ne
+                \large
+                {\itshape {\sparseFnt\chaptername} \space \thechapter}
+                \par\nobreak
+                \vskip 1.5ex
+            \fi
+            \interlinepenalty\@M
+            \bfseries\MakeUppercase{#1}\par\nobreak
+            \vskip 1.5ex
+        }%
+    \else
+        \vspace*{3ex}%
+        {
+            \parindent \z@
+            \centering\normalfont
+            \interlinepenalty\@M
+            \normalsize
+            {\itshape {\sparseFnt\MakeUppercase{\chaptername}}\space\thechapter}
+            %
+            % грязный хак
+            %
+            \ifnum \c@chapter =1 %
+                \footnote[1]{%
+                    Редактор перевода не принимал участия
+                    в редактировании этих добавлений.
+                    --- \textit{Прим. ред.}}
+            \fi
+            \par\nobreak\vskip 1.5ex%
+            \bfseries%
+            \MakeUppercase{#1}\par\nobreak
+            \vskip 1.5ex
+        }%
+    \fi
+}
+\def\@schapter#1{%
+    \ifx\YouAreInToC\undefined
+        \addcontentsline{toc}{chapter}{%
+            \texorpdfstring{%
+                {\sparseFnt#1}}{#1}%
+        }%
+    \fi
+    \chaptermark{#1}%
+    \if@twocolumn
+        \@topnewpage[\@makeschapterhead{#1}]%
+    \else
+        \@makeschapterhead{#1}%
+        \@afterheading
+    \fi}
+\def\@makeschapterhead#1{\vspace*{50\p@}%
+    {\parindent \z@ \centering
+        \normalfont
+        \interlinepenalty\@M
+        \normalsize%
+        {\sparseFnt\MakeUppercase{#1}}%
+        \par\nobreak
+        \vskip 3ex
+    }}
+\newcommand\section{\secdef\@section\@ssection}
+\def\@section[#1]#2{%
+    \ifnum \c@secnumdepth >\m@ne
+        \if@mainmatter
+            \refstepcounter{section}%
+            \ifnum%
+             \ifnum \c@section=4 1\else
+              \ifnum \c@section=5 1\else
+               \ifnum \c@section=9 1\else
+                \ifnum \c@section=24 1\else
+                 \ifnum \c@section=34 1\else
+                  \ifnum \c@section=37 1\else
+                   \ifnum \c@section=40 1\else
+                    \ifnum \c@section=47 1\else
+                     \ifnum \c@section=53 1\else
+                      \ifnum \c@section=59 1\else
+                       \ifnum \c@section=71 1\else
+                        \ifnum \c@section=74 1\else
+                         \ifnum \c@section=79 1\else 0\fi
+             \fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi%
+            =1 \def\@SectPrefix{{\bfseries *}\textsection}%
+            \else \def\@SectPrefix{\hspace*{\AsterixLen}\textsection}%
+            \fi
+            \typeout{\@SectPrefix \thesection. #1}%
+            \addcontentsline{toc}{section}{%
+                \texorpdfstring{%
+                    \@SectPrefix %
+                    \hbox to \WoLongestSeNm {\hfil\thesection.\hspace*{0.25em}}%
+                    #1}%
+                    {\@SectPrefix\thesection. #1}%
+            }%
+        \else
+            \addcontentsline{toc}{section}{#1}%
+        \fi
+    \else
+        \addcontentsline{toc}{section}{#1}%
+    \fi
+    \sectionmark{#1}%
+    \addtocontents{lof}{\protect\addvspace{10\p@}}%
+    \addtocontents{lot}{\protect\addvspace{10\p@}}%
+    \if@twocolumn
+        \@topnewpage[\@makesectionhead{#2}]%
+    \else
+        \@makesectionhead{#2}%
+        \@afterheading
+    \fi}
+\def\@makesectionhead#1{%
+  \vspace*{3ex}%
+  {\parindent \z@
+    \centering\normalfont
+    \interlinepenalty\@M
+    \normalsize\bfseries%
+    \@SectPrefix\hspace*{.25em}\thesection.\hspace*{.25em}%
+    \MakeUppercase{#1}\par\nobreak
+    \vskip 1.5ex
+  }}
+\def\@ssection#1{\if@twocolumn
+                   \@topnewpage[\@makessectionhead{#1}]%
+                 \else
+                   \@makessectionhead{#1}%
+                   \@afterheading
+                 \fi}
+\def\@makessectionhead#1{%
+  \vspace*{3ex}%
+  {\parindent \z@ \centering
+    \normalfont
+    \interlinepenalty\@M
+    \normalsize\bfseries%
+    \hspace*{.25em}\thesection.\hspace*{.25em}%
+    \MakeUppercase{#1}\par\nobreak
+    \vskip 1ex
+  }}
+\newcommand\subsection{\@startsection{subsection}{2}{\z@}%
+                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
+                                     {1.5ex \@plus .2ex}%
+                                     {\normalfont\large\bfseries}}
+\newcommand\subsubsection{\@startsection{subsubsection}{3}{\z@}%
+                                     {-3.25ex\@plus -1ex \@minus -.2ex}%
+                                     {1.5ex \@plus .2ex}%
+                                     {\normalfont\normalsize\bfseries}}
+\newcommand\paragraph{\@startsection{paragraph}{4}{\z@}%
+                                    {3.25ex \@plus1ex \@minus.2ex}%
+                                    {-1em}%
+                                    {\normalfont\normalsize\bfseries}}
+\newcommand\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
+                                       {3.25ex \@plus1ex \@minus .2ex}%
+                                       {-1em}%
+                                      {\normalfont\normalsize\bfseries}}
+\if@twocolumn
+  \setlength\leftmargini  {2em}
+\else
+  \setlength\leftmargini  {2.5em}
+\fi
+\leftmargin  \leftmargini
+\setlength\leftmarginii  {2.2em}
+\setlength\leftmarginiii {1.87em}
+\setlength\leftmarginiv  {1.7em}
+\if@twocolumn
+  \setlength\leftmarginv  {.5em}
+  \setlength\leftmarginvi {.5em}
+\else
+  \setlength\leftmarginv  {1em}
+  \setlength\leftmarginvi {1em}
+\fi
+\setlength  \labelsep  {.5em}
+\setlength  \labelwidth{\leftmargini}
+\addtolength\labelwidth{-\labelsep}
+\@beginparpenalty -\@lowpenalty
+\@endparpenalty   -\@lowpenalty
+\@itempenalty     -\@lowpenalty
+\renewcommand\theenumi{\@arabic\c@enumi}
+\renewcommand\theenumii{\@alph\c@enumii}
+\renewcommand\theenumiii{\@roman\c@enumiii}
+\renewcommand\theenumiv{\@Alph\c@enumiv}
+\newcommand\labelenumi{\theenumi.}
+\newcommand\labelenumii{(\theenumii)}
+\newcommand\labelenumiii{\theenumiii.}
+\newcommand\labelenumiv{\theenumiv.}
+\renewcommand\p@enumii{\theenumi}
+\renewcommand\p@enumiii{\theenumi(\theenumii)}
+\renewcommand\p@enumiv{\p@enumiii\theenumiii}
+\newcommand\labelitemi{\textbullet}
+\newcommand\labelitemii{\normalfont\bfseries \textendash}
+\newcommand\labelitemiii{\textasteriskcentered}
+\newcommand\labelitemiv{\textperiodcentered}
+\newenvironment{description}
+               {\list{}{\labelwidth\z@ \itemindent-\leftmargin
+                        \let\makelabel\descriptionlabel}}
+               {\endlist}
+\newcommand*\descriptionlabel[1]{\hspace\labelsep
+                                \normalfont\bfseries #1}
+\newenvironment{verse}
+               {\let\\\@centercr
+                \list{}{\itemsep      \z@
+                        \itemindent   -1.5em%
+                        \listparindent\itemindent
+                        \rightmargin  \leftmargin
+                        \advance\leftmargin 1.5em}%
+                \item\relax}
+               {\endlist}
+\newenvironment{quotation}
+               {\list{}{\listparindent 1.5em%
+                        \itemindent    \listparindent
+                        \rightmargin   \leftmargin
+                        \parsep        \z@ \@plus\p@}%
+                \item\relax}
+               {\endlist}
+\newenvironment{quote}
+               {\list{}{\rightmargin\leftmargin}%
+                \item\relax}
+               {\endlist}
+\newenvironment{titlepage}
+    {%
+      \cleardoublepage
+      \if@twocolumn
+        \@restonecoltrue\onecolumn
+      \else
+        \@restonecolfalse\newpage
+      \fi
+      \thispagestyle{empty}%
+      \setcounter{page}\@ne
+    }%
+    {\if@restonecol\twocolumn \else \newpage \fi
+     \if@twoside\else
+        \setcounter{page}\@ne
+     \fi
+    }
+\newcommand\appendix{\par
+    \@mainmatterfalse
+    \def\YouAreInAppendix{1}%
+    \setcounter{chapter}{0}%
+    \setcounter{section}{0}%
+    \renewcommand{\chaptername}{Добавление}%
+    \gdef\@chapapp{\appendixname}%
+    \gdef\thechapter{\@Roman\c@chapter}%
+    \renewcommand{\partmark}[1]{\markboth{{\small Добавления}}{}}%
+    \renewcommand{\chaptermark}[1]{%
+        \markright{{\small\chaptername\hspace*{0.5em}\thechapter}}}%
+    \renewcommand{\sectionmark}[1]{}%
+    \fancyhead[CE]{\itshape\nouppercase{\leftmark}}%
+    \fancyhead[CO]{\itshape\nouppercase{\rightmark}}%
+}
+\setlength\arraycolsep{5\p@}
+\setlength\tabcolsep{6\p@}
+\setlength\arrayrulewidth{.4\p@}
+\setlength\doublerulesep{2\p@}
+\setlength\tabbingsep{\labelsep}
+\skip\@mpfootins = \skip\footins
+\setlength\fboxsep{3\p@}
+\setlength\fboxrule{.4\p@}
+\@addtoreset {equation}{chapter}
+\renewcommand\theequation
+  {\ifnum \c@chapter>\z@ \thechapter.\fi \@arabic\c@equation}
+\newcounter{figure}[chapter]
+\renewcommand \thefigure
+     {\ifnum \c@chapter>\z@ \thechapter.\fi \@arabic\c@figure}
+\def\fps@figure{tbp}
+\def\ftype@figure{1}
+\def\ext@figure{lof}
+\def\fnum@figure{\figurename~\thefigure}
+\newenvironment{figure}
+               {\@float{figure}}
+               {\end@float}
+\newenvironment{figure*}
+               {\@dblfloat{figure}}
+               {\end@dblfloat}
+\newcounter{table}[chapter]
+\renewcommand \thetable
+     {\ifnum \c@chapter>\z@ \thechapter.\fi \@arabic\c@table}
+\def\fps@table{tbp}
+\def\ftype@table{2}
+\def\ext@table{lot}
+\def\fnum@table{\tablename~\thetable}
+\newenvironment{table}
+               {\@float{table}}
+               {\end@float}
+\newenvironment{table*}
+               {\@dblfloat{table}}
+               {\end@dblfloat}
+\newlength\abovecaptionskip
+\newlength\belowcaptionskip
+\setlength\abovecaptionskip{10\p@}
+\setlength\belowcaptionskip{0\p@}
+\long\def\@makecaption#1#2{%
+  \vskip\abovecaptionskip
+  \sbox\@tempboxa{#1: #2}%
+  \ifdim \wd\@tempboxa >\hsize
+    #1: #2\par
+  \else
+    \global \@minipagefalse
+    \hb@xt@\hsize{\hfil\box\@tempboxa\hfil}%
+  \fi
+  \vskip\belowcaptionskip}
+\DeclareOldFontCommand{\rm}{\normalfont\rmfamily}{\mathrm}
+\DeclareOldFontCommand{\sf}{\normalfont\sffamily}{\mathsf}
+\DeclareOldFontCommand{\tt}{\normalfont\ttfamily}{\mathtt}
+\DeclareOldFontCommand{\bf}{\normalfont\bfseries}{\mathbf}
+\DeclareOldFontCommand{\it}{\normalfont\itshape}{\mathit}
+\DeclareOldFontCommand{\sl}{\normalfont\slshape}{\@nomath\sl}
+\DeclareOldFontCommand{\sc}{\normalfont\scshape}{\@nomath\sc}
+\DeclareRobustCommand*\cal{\@fontswitch\relax\mathcal}
+\DeclareRobustCommand*\mit{\@fontswitch\relax\mathnormal}
+\newcommand\@pnumwidth{1.55em}
+\newcommand\@tocrmarg{2.55em}
+\newcommand\@dotsep{4.5}
+\setcounter{tocdepth}{2}
+\newcommand\tableofcontents{%
+    \def\YouAreInToC{1}
+    \if@twocolumn
+      \@restonecoltrue\onecolumn
+    \else
+      \@restonecolfalse
+    \fi
+    \chapter*{\contentsname}%
+    \@mkboth{{\small\contentsname}}{{\small\contentsname}}
+    \@starttoc{toc}%
+    \if@restonecol\twocolumn\fi}
+
+\newcommand*\l@part[2]{%
+    \ifnum \c@tocdepth >-2\relax
+        {\centering \parindent \z@ \relax
+            \vskip 1.5ex
+            #1 \nopagebreak
+            \vskip 1.5ex
+        \par}
+    \fi}
+\newcommand*\l@chapter[2]{%
+    \ifnum \c@tocdepth >\m@ne
+        \vskip \z@ \@plus.2\p@
+        {\leftskip \z@ \relax
+            \rightskip \@tocrmarg \parfillskip -\rightskip
+            \parindent \z@ \relax\@afterindenttrue
+            \interlinepenalty\@M
+            \leavevmode
+            \@tempdima \WoLongestChNm\relax
+            \advance\leftskip \@tempdima \null\nobreak\hskip -\leftskip
+            {#1}\nobreak
+            \leaders\hbox{$\m@th
+                \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
+                mu$}\hfill
+            \nobreak
+            \hb@xt@\@pnumwidth{{\hfil\normalfont \normalcolor #2}}%
+            \par\nopagebreak%
+        }%
+    \fi}
+%% ======= Section ToC =======
+\newcommand*\l@section[2]{
+    \ifnum \c@tocdepth >\m@ne
+        \vskip \z@ \@plus.2\p@
+        {\leftskip \SectTocMarkIndent\relax %\SectTocIndent\relax
+            \rightskip \@tocrmarg \parfillskip -\rightskip
+            \parindent \SectTocMarkIndent \relax\@afterindenttrue
+            \interlinepenalty\@M
+            \leavevmode
+            \@tempdima \TotlWoLongestSect\relax%\WoLongestSeNm\relax
+            \advance\leftskip \@tempdima
+            \null\nobreak\hskip -\leftskip
+            {#1}\nobreak
+            \leaders\hbox{$\m@th
+                \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
+                mu$}\hfill
+            \nobreak
+            \hb@xt@\@pnumwidth{{\hfil\normalfont \normalcolor #2}}%
+            \par%
+        }%
+    \fi}
+\newcommand*\l@subsection{\@dottedtocline{2}{3.8em}{3.2em}}
+\newcommand*\l@subsubsection{\@dottedtocline{3}{7.0em}{4.1em}}
+\newcommand*\l@paragraph{\@dottedtocline{4}{10em}{5em}}
+\newcommand*\l@subparagraph{\@dottedtocline{5}{12em}{6em}}
+\newcommand*\l@appendix[2]{%
+    \ifnum \c@tocdepth >\m@ne
+        \vskip \z@ \@plus.2\p@
+        {\leftskip \z@\relax
+            \rightskip \@tocrmarg \parfillskip -\rightskip
+            \parindent \z@ \relax\@afterindenttrue
+            \interlinepenalty\@M
+            \leavevmode
+            \@tempdima \WoLongestApxNm\relax
+            \advance\leftskip \@tempdima \null\nobreak\hskip -\leftskip
+            {#1}\nobreak
+            \leaders\hbox{$\m@th
+                \mkern \@dotsep mu\hbox{.}\mkern \@dotsep
+                mu$}\hfill
+            \nobreak
+            \hb@xt@\@pnumwidth{{\hfil\normalfont \normalcolor #2}}%
+            \par\nopagebreak%
+        }%
+    \fi}
+\newcommand\listoffigures{%
+    \if@twocolumn
+      \@restonecoltrue\onecolumn
+    \else
+      \@restonecolfalse
+    \fi
+    \chapter*{\listfigurename
+      \@mkboth{{\small\MakeUppercase\listfigurename}}%
+              {{\small\MakeUppercase\listfigurename}}}%
+    \@starttoc{lof}%
+    \if@restonecol\twocolumn\fi
+    }
+\newcommand*\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
+\newcommand\listoftables{%
+    \if@twocolumn
+        \@restonecoltrue\onecolumn
+    \else
+        \@restonecolfalse
+    \fi
+    \chapter*{\listtablename
+        \@mkboth{{\small\MakeUppercase\listtablename}}%
+            {{\small\MakeUppercase\listtablename}}}%
+    \@starttoc{lot}%
+    \if@restonecol\twocolumn\fi
+}
+\let\l@table\l@figure
+\newdimen\bibindent
+\setlength\bibindent{1.5em}
+\newenvironment{thebibliography}[1]
+     {\chapter*{\bibname }%
+      \@mkboth{{\small\bibname}}{{\small\bibname}}
+      \list{\@biblabel{\@arabic\c@enumiv}}%
+           {\settowidth\labelwidth{\@biblabel{#1}}%
+            \leftmargin\labelwidth
+            \advance\leftmargin\labelsep
+            \@openbib@code
+            \usecounter{enumiv}%
+            \let\p@enumiv\@empty
+            \renewcommand\theenumiv{\@arabic\c@enumiv}}%
+      \sloppy
+      \clubpenalty4000
+      \@clubpenalty \clubpenalty
+      \widowpenalty4000%
+      \sfcode`\.\@m}
+     {\def\@noitemerr
+       {\@latex@warning{Empty `thebibliography' environment}}%
+      \endlist}
+\newcommand\newblock{\hskip .11em\@plus.33em\@minus.07em}
+\let\@openbib@code\@empty
+\newenvironment{theindex}
+               {\if@twocolumn
+                  \@restonecolfalse
+                \else
+                  \@restonecoltrue
+                \fi
+                \columnseprule \z@
+                \columnsep 35\p@
+                \twocolumn[\@makeschapterhead{\indexname}]%
+                \@mkboth{{\small\MakeUppercase\indexname}}%
+                        {{\small\MakeUppercase\indexname}}%
+                \thispagestyle{plain}\parindent\z@
+                \parskip\z@ \@plus .3\p@\relax
+                \let\item\@idxitem}
+               {\if@restonecol\onecolumn\else\clearpage\fi}
+\newcommand\@idxitem{\par\hangindent 40\p@}
+\newcommand\subitem{\@idxitem \hspace*{20\p@}}
+\newcommand\subsubitem{\@idxitem \hspace*{30\p@}}
+\newcommand\indexspace{\par \vskip 10\p@ \@plus5\p@ \@minus3\p@\relax}
+\renewcommand\footnoterule{%
+  \kern-3\p@
+  \hrule\@width.4\columnwidth
+  \kern2.6\p@}
+\@addtoreset{footnote}{chapter}
+\newcommand\@makefntext[1]{%
+    \parindent 1em%
+    \noindent
+    \hb@xt@1.8em{\hss\@makefnmark}#1}
+\newcommand\contentsname{Contents}
+\newcommand\listfigurename{List of Figures}
+\newcommand\listtablename{List of Tables}
+\newcommand\bibname{Bibliography}
+\newcommand\indexname{Index}
+\newcommand\figurename{Figure}
+\newcommand\tablename{Table}
+\newcommand\partname{Part}
+\newcommand\chaptername{Chapter}
+\newcommand\appendixname{Appendix}
+\def\today{\ifcase\month\or
+  January\or February\or March\or April\or May\or June\or
+  July\or August\or September\or October\or November\or December\fi
+  \space\number\day, \number\year}
+\setlength\columnsep{10\p@}
+\setlength\columnseprule{0\p@}
+\pagestyle{headings}
+\pagenumbering{arabic}
+\if@twoside
+\else
+  \raggedbottom
+\fi
+\if@twocolumn
+  \twocolumn
+  \sloppy
+  \flushbottom
+\else
+  \onecolumn
+\fi
+\endinput
+%%
+%% End of file `book.cls'.

+ 19 - 0
build_script

@@ -0,0 +1,19 @@
+#!/bin/bash
+mkdir -p build
+ln -s build/Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.log Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.log
+cp bibliography.bib build/
+cp index_style_and_order.xdy build/
+xelatex -interaction=nonstopmode -output-directory build 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex'
+xelatex -interaction=nonstopmode -output-directory build 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex'
+
+cd build
+makeindex 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.idx'
+xindy -C utf8 -M texindy -L russian -M index_style_and_order 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.idx'
+biber 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian'
+cd ..
+xelatex -interaction=nonstopmode -output-directory build 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex'
+
+cd build
+biber 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian'
+cd ..
+xelatex -interaction=nonstopmode -output-directory build 'Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex'

+ 196 - 0
definitions.tex

@@ -0,0 +1,196 @@
+\usepackage{fix-cm}%   исправление шрифта Computer Modern НЕ ПЕРЕМЕЩАТЬ!!!
+\usepackage{calc}%     пакет для простой арифметики в выражениях
+\usepackage{etoolbox}% некоторые интерфейсы Latex
+\usepackage{longtable,multirow}% пакеты для таблиц
+\usepackage{adjustbox,% некоторые пакеты для работы
+            placeins, % с плавающими объектами - иллюстрациями, таблицами
+            caption}  %
+%
+% геометрия страницы
+%
+\usepackage[
+    top    = 0.06734007\paperheight,
+    bottom = 0.06734007\paperheight,
+    right  = 0.1190476\paperwidth,
+    left   = 0.0952381\paperwidth
+]{geometry}
+%%%%% дополнительные настройки колонтитулов
+\RequirePackage{fancyhdr}
+\pagestyle{fancy}
+\fancyhf{}
+\setlength{\headheight}{12pt}%
+\fancyhead[LE,RO]{\thepage}%
+%
+% абзацы и выравнивание
+%
+\usepackage{indentfirst}
+\frenchspacing
+\sloppy
+\raggedbottom
+\setlength{\parindent}{0.0604762\paperwidth}%
+%
+% язык и шрифты
+%
+\usepackage{amsmath,amsfonts,amssymb,xfrac}
+\usepackage[cmintegrals,cmbraces]{newtxmath}
+\usepackage{xltxtra,polyglossia,csquotes}
+\usepackage{verbatim,fancyvrb,framed}
+\usepackage{cancel}% зачёркивание, используется в сноске на стр.16 оригинала
+\setmainlanguage{russian}
+\setotherlanguage{english}
+\setkeys{russian}{babelshorthands=true}
+\defaultfontfeatures{Scale=MatchLowercase,Mapping=tex-text}
+\setmainfont{Garamond Premier Pro}
+\setromanfont{Garamond Premier Pro}
+\setsansfont{CMU Sans Serif}
+\newfontfamily{\cyrillicfont}{Garamond Premier Pro}
+\newfontfamily{\cyrillicfontrm}{Garamond Premier Pro}
+\newfontfamily{\cyrillicfontsf}{CMU Sans Serif}
+\setmonofont{CMU Typewriter Text}
+\newfontfamily{\cyrillicfonttt}{CMU Typewriter Text}
+%%%%% изменение кернинга для разреженного шрифта
+\newcommand{\FSparseVal}{7}%
+\newcommand{\sparseFnt}{\addfontfeatures{LetterSpace=\FSparseVal}}
+%
+% графика
+%
+\RequirePackage[all]{xy}
+\RequirePackage{subfigure, graphicx, float}
+\graphicspath{{images/}}
+%
+% сноски
+%
+\usepackage{perpage}
+\MakePerPage{footnote}
+\makeatletter%
+\renewcommand{\@makefnmark}{\mbox{{\@textsuperscript{\normalfont\@thefnmark}}})}
+\renewcommand\@makefntext[1]%
+    {\parindent 1em\relax\noindent\hb@xt@1.8em{\hss\@makefnmark}\ #1}%
+\makeatother%
+%
+% ссылки
+%
+\RequirePackage{hyperref}
+\hypersetup{colorlinks=true,linkcolor={black},urlcolor={blue},citecolor={black}}
+%%%%% обеспечение меток для элементов списков
+\makeatletter%
+\def\itemlabel#1#2{{\def\@currentlabel{#2}\phantomsection\label{#1}}}%
+\makeatother%
+%
+% предметный указатель
+%
+\usepackage[xindy]{imakeidx}
+\makeindex[options = -C utf8 -M texindy -M index_style_and_order ]
+%
+% библиография
+%
+\usepackage[backend        = biber,
+            citestyle      = bookvvmrus,
+            bibstyle       = bookvvmrus,
+            sorting        = vvm,
+            labeldateparts = true]{biblatex}
+\addbibresource{bibliography.bib}
+%
+% оглавление
+%
+\setcounter{tocdepth}{3}%
+%%%%% технические длины для корректного форматирования заголовков и оглавления
+\settowidth{\WoLongestChNm}{{\sparseFnt Глава}%
+    \hspace*{.25em}XIII.\hspace*{.25em}}%
+\settowidth{\WoLongestApxNm}{{\sparseFnt Дополнение}%
+    \hspace*{.25em}VII.\hspace*{.25em}}%
+\settowidth{\AsterixLen}{{\bfseries *}}%
+\settowidth{\ParagrLen}{\textsection}%
+\settowidth{\SectTocMarkIndent}{{\sparseFnt Глава}}%
+\settowidth{\WoLongestSeNm}{\hspace*{0.25em}77.\hspace*{0.25em}}%
+\setlength{\TotlWoLongestSect}{0em}%
+\addtolength{\TotlWoLongestSect}{\WoLongestSeNm}%
+\addtolength{\TotlWoLongestSect}{\AsterixLen}%
+\addtolength{\TotlWoLongestSect}{\ParagrLen}%
+%===============================================================================
+%
+% строка "\def\LaterNotation{1}" определяет какую нотацию использовать:
+%     * для использования оригинальной (старой) нотации закомментируйте строку
+%     * для использования более поздней (современной) нотации расскомментируйте
+%       строку
+%
+%%% \def\LaterNotation{1}
+%
+%некоторые часто встречающиеся символы и обозначения
+%
+\newcommand{\isom}{$1$\nobreakdash--$1$\nobreakdash}% "1-1" в "1-1-соответствие"
+\newcommand{\simN}[1]{\hm{\overset{#1}{\sim}}}%       эквивалентность с номером
+\newcommand{\alephZero}{\mathbf{\aleph}_{0}}%         алеф-ноль
+\newcommand{\setOfSets}[1]{\text{\textsf{\textbf{#1}}}}% множество множеств
+%
+% соответствие старой нотации новой нотации
+% обратите внимание на символ булеана - \OLpowerset
+% обозначение булеана к 2020 году не устоялось окончательно и
+% при перенаборе использована прописная P со скобками, но возможны варианты
+%
+\newcommand{\OLemptyset}{\olNt{\mathrm{O}}{\varnothing}}% пустое множество
+\newcommand{\OLnotin}{\olNt{\bar{\in}}{\notin}}%          не принадлежит
+\newcommand{\OLcard}[1]{\olNt{\dbloverline{#1}}{\left|#1\right|}} % мощность
+\newcommand{\OLcup}{\hm{\olNt{+}{\cup}}}%            объединение
+\newcommand{\OLcap}{\hm{\olNt{\cdot}{\cap}}}%        пересечение
+\newcommand{\OLsetminus}{\hm{\olNt{-}{\setminus}}}%  дополнение
+\newcommand{\OLpowerset}[1]%                         булеан
+    {\olNt{\mathfrak{U}#1}{\mathcal{P}\mathopen{}\left(#1\right)\mathclose{}}}
+% \newcommand{\OLpowerset}[1]%                       другой вариант булеана
+%    {\olNt{\mathfrak{U}#1}{\mathbb{P}\mathopen{}\left(#1\right)\mathclose{}}}
+\newcommand{\OLunion}[1]%                            объединение большое
+    {\olNt{\mathfrak{S}#1}{\bigcup\mathopen{}#1\mathclose{}}}
+\newcommand{\OLintersec}[1]%                         пересечение большое
+    {\olNt{\mathfrak{D}#1}{\bigcap\mathopen{}#1\mathclose{}}}
+%
+% устаревшее обозначение кардинального числа (мощности множества)
+% в виде двух горизонтальных черт над буквой обозначающей множество
+%
+\makeatletter%
+\newcommand{\dbloverline}[1]{\overline{\dbl@overline{#1}}}%
+\newcommand{\dbl@overline}[1]{\mathpalette\dbl@@overline{#1}}%
+\newcommand{\dbl@@overline}[2]{%
+    \begingroup%
+        \sbox\z@{$\m@th#1\overline{#2}$}%
+        \ht\z@=\dimexpr\ht\z@-2\dbl@adjust{#1}\relax\box\z@
+        \ifx#1\scriptstyle\kern-\scriptspace\else%
+            \ifx#1\scriptscriptstyle\kern-\scriptspace\fi%
+        \fi%
+    \endgroup%
+}%
+\newcommand{\dbl@adjust}[1]{%
+    \fontdimen8%
+    \ifx#1\displaystyle\textfont\else%
+        \ifx#1\textstyle\textfont\else%
+            \ifx#1\scriptstyle\scriptfont\else%
+                \scriptscriptfont%
+    \fi\fi\fi 3%
+}%
+\makeatother
+%
+% окружение для примеров, теорем, лемм, доказательств и следствий
+%     Первый аргумент - заголовок
+%     Второй аргумент - техническая метка
+%     Третий аргумент - печатная метка (что будет напечатано при \ref{})
+%
+\newenvironment{SCEnvWLabel}[3]%
+    {\medskip\mbox{\textsc{#1}\itemlabel{#2}{#3}}\enskip}{\medskip}%
+%
+% технический макрос для учета старой и новой нотации
+%
+\newcommand{\olNt}[2]{\ifx\LaterNotation\undefined #1\else #2\fi}%
+%
+% технический макрос для переноса знака между строк
+%
+\newcommand*{\hm}[1]%
+    {#1\nobreak\discretionary{}{\hbox{$\mathsurround=0pt #1$}}{}}
+%
+% установка длины из длины строки-образца
+%
+\newcommand{\SetLenVarWithWidth}[2]
+    {\ifdefined #1 \else \newlength{#1} \fi \settowidth{#1}{#2}}
+%
+% установка длины по значению
+%
+\newcommand{\SetLenVarWithVal}[2]%
+    {\ifdefined #1 \else \newlength{#1} \fi \setlength{#1}{#2}}

BIN
images/cover.png


BIN
images/drafts/cover.jpg


+ 339 - 0
images/drafts/p4_img0.svg

@@ -0,0 +1,339 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="210mm"
+   height="297mm"
+   viewBox="0 0 210 297"
+   version="1.1"
+   id="svg8"
+   inkscape:version="0.92.2 5c3e80d, 2017-08-06"
+   sodipodi:docname="p4_img0.svg">
+  <defs
+     id="defs2" />
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="0.35355339"
+     inkscape:cx="1321.0842"
+     inkscape:cy="339.95646"
+     inkscape:document-units="mm"
+     inkscape:current-layer="layer1"
+     showgrid="false"
+     showborder="false"
+     inkscape:window-width="1920"
+     inkscape:window-height="1057"
+     inkscape:window-x="0"
+     inkscape:window-y="420"
+     inkscape:window-maximized="1">
+    <inkscape:grid
+       type="xygrid"
+       id="grid817" />
+  </sodipodi:namedview>
+  <metadata
+     id="metadata5">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1">
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 50,50 H 670"
+       id="line_top"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 50,140 H 670"
+       id="line_bottom"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 50,50 90,90"
+       id="line_reflection_0_0"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 140,140 230,50"
+       id="line_reflection_0_1"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 230,50 90,90"
+       id="line_reflection_0_2"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 320,140 410,50"
+       id="line_reflection_0_3"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 410,50 90,90"
+       id="line_reflection_0_4"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 500,140 590,50"
+       id="line_reflection_0_5"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 590,50 46,46"
+       id="line_reflection_0_6"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 117,50 90,90"
+       id="line_reflection_1_0"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 207,140 297,50"
+       id="line_reflection_1_1"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 297,50 90,90"
+       id="line_reflection_1_2"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 387,140 477,50"
+       id="line_reflection_1_3"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 477,50 90,90"
+       id="line_reflection_1_4"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 567,140 657,50"
+       id="line_reflection_1_5"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 657,50 13,13"
+       id="line_reflection_1_6"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="37"
+       y="43"
+       id="text_M"><tspan
+         sodipodi:role="line"
+         id="tspan4966"
+         x="37"
+         y="43"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">M</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="104"
+       y="43"
+       id="text_M_1"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7"
+         x="104"
+         y="43"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000191px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">M<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:64.99999762%;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub"
+   id="tspan8994">1</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="70"
+       y="69"
+       id="text_A_0"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0"
+         x="70"
+         y="69"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">A<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6">0</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="250"
+       y="69"
+       id="text_A_1"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6"
+         x="250"
+         y="69"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">A<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2">1</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="430"
+       y="69"
+       id="text_A_2"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6-5"
+         x="430"
+         y="69"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">A<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2-6">2</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="610"
+       y="69"
+       id="text_A_3"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6-8"
+         x="610"
+         y="69"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">A<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2-0">3</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="161"
+       y="133"
+       id="text_B_1"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6-6"
+         x="161"
+         y="133"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">B<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2-2">1</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="341"
+       y="133"
+       id="text_B_2"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6-6-0"
+         x="341"
+         y="133"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">B<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2-2-0">2</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="521"
+       y="133"
+       id="text_B_3"><tspan
+         sodipodi:role="line"
+         id="tspan4966-7-0-6-6-3"
+         x="521"
+         y="133"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">B<tspan
+   style="font-style:normal;font-variant:normal;font-weight:500;font-stretch:normal;font-size:14.95000076px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif Medium';baseline-shift:sub;stroke-width:0.26458332"
+   id="tspan8994-6-2-2-8">3</tspan></tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="37"
+       y="163"
+       id="text_N"><tspan
+         sodipodi:role="line"
+         id="tspan4966-6"
+         x="37"
+         y="163"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000191px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">N</tspan></text>
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 120,87 30,30"
+       id="arrow_0"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 120,87 5,7"
+       id="arrow_0_hl"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 120,87 7,5"
+       id="arrow_0-hr"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 150,117 -7,-5"
+       id="arrow_0-tl"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 150,117 -5,-7"
+       id="arrow_0-tr"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 225,87 -30,30"
+       id="arrow_1"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 225,87 -7,5"
+       id="arrow_1_hl"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 225,87 -5,7"
+       id="arrow_1_hr"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 195,117 5,-7"
+       id="arrow_1_tl"
+       inkscape:connector-curvature="0" />
+    <path
+       style="fill:none;stroke:#000000;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="m 195,117 7,-5"
+       id="arrow_1_tr"
+       inkscape:connector-curvature="0" />
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="135"
+       y="101"
+       id="text_1"><tspan
+         sodipodi:role="line"
+         id="tspan4966-6-2"
+         x="135"
+         y="100.55367"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">1</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:50px;line-height:1.25;-inkscape-font-specification:'CMU Typewriter Text, Medium';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+       x="199"
+       y="101"
+       id="text_2"><tspan
+         sodipodi:role="line"
+         id="tspan4966-6-3"
+         x="200"
+         y="101"
+         style="font-style:italic;font-variant:normal;font-weight:500;font-stretch:normal;font-size:23.00000381px;font-family:'CMU Serif';-inkscape-font-specification:'CMU Serif, Medium Italic';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-feature-settings:normal;text-align:start;writing-mode:lr-tb;text-anchor:start;stroke-width:0.26458332">2</tspan></text>
+  </g>
+</svg>

+ 420 - 0
images/p4_img0.eps

@@ -0,0 +1,420 @@
+%!PS-Adobe-3.0 EPSF-3.0
+%%Creator: cairo 1.15.10 (http://cairographics.org)
+%%CreationDate: Sat Apr 11 17:27:28 2020
+%%Pages: 1
+%%DocumentData: Clean7Bit
+%%LanguageLevel: 2
+%%BoundingBox: 0 0 1792 385
+%%EndComments
+%%BeginProlog
+50 dict begin
+/q { gsave } bind def
+/Q { grestore } bind def
+/cm { 6 array astore concat } bind def
+/w { setlinewidth } bind def
+/J { setlinecap } bind def
+/j { setlinejoin } bind def
+/M { setmiterlimit } bind def
+/d { setdash } bind def
+/m { moveto } bind def
+/l { lineto } bind def
+/c { curveto } bind def
+/h { closepath } bind def
+/re { exch dup neg 3 1 roll 5 3 roll moveto 0 rlineto
+      0 exch rlineto 0 rlineto closepath } bind def
+/S { stroke } bind def
+/f { fill } bind def
+/f* { eofill } bind def
+/n { newpath } bind def
+/W { clip } bind def
+/W* { eoclip } bind def
+/BT { } bind def
+/ET { } bind def
+/BDC { mark 3 1 roll /BDC pdfmark } bind def
+/EMC { mark /EMC pdfmark } bind def
+/cairo_store_point { /cairo_point_y exch def /cairo_point_x exch def } def
+/Tj { show currentpoint cairo_store_point } bind def
+/TJ {
+  {
+    dup
+    type /stringtype eq
+    { show } { -0.001 mul 0 cairo_font_matrix dtransform rmoveto } ifelse
+  } forall
+  currentpoint cairo_store_point
+} bind def
+/cairo_selectfont { cairo_font_matrix aload pop pop pop 0 0 6 array astore
+    cairo_font exch selectfont cairo_point_x cairo_point_y moveto } bind def
+/Tf { pop /cairo_font exch def /cairo_font_matrix where
+      { pop cairo_selectfont } if } bind def
+/Td { matrix translate cairo_font_matrix matrix concatmatrix dup
+      /cairo_font_matrix exch def dup 4 get exch 5 get cairo_store_point
+      /cairo_font where { pop cairo_selectfont } if } bind def
+/Tm { 2 copy 8 2 roll 6 array astore /cairo_font_matrix exch def
+      cairo_store_point /cairo_font where { pop cairo_selectfont } if } bind def
+/g { setgray } bind def
+/rg { setrgbcolor } bind def
+/d1 { setcachedevice } bind def
+/cairo_data_source {
+  CairoDataIndex CairoData length lt
+    { CairoData CairoDataIndex get /CairoDataIndex CairoDataIndex 1 add def }
+    { () } ifelse
+} def
+/cairo_flush_ascii85_file { cairo_ascii85_file status { cairo_ascii85_file flushfile } if } def
+/cairo_image { image cairo_flush_ascii85_file } def
+/cairo_imagemask { imagemask cairo_flush_ascii85_file } def
+%%EndProlog
+%%BeginSetup
+%%BeginResource: font CMUSerif-Italic
+11 dict begin
+/FontType 42 def
+/FontName /CMUSerif-Italic def
+/PaintType 0 def
+/FontMatrix [ 1 0 0 1 0 0 ] def
+/FontBBox [ 0 0 0 0 ] def
+/Encoding 256 array def
+0 1 255 { Encoding exch /.notdef put } for
+Encoding 49 /one put
+Encoding 50 /two put
+Encoding 65 /A put
+Encoding 66 /B put
+Encoding 77 /M put
+Encoding 78 /N put
+/CharStrings 7 dict dup begin
+/.notdef 0 def
+/M 1 def
+/A 2 def
+/B 3 def
+/N 4 def
+/one 5 def
+/two 6 def
+end readonly def
+/sfnts [
+<00010000000900800003001063767420073f074000000ba0000000586670676d6b042d570000
+0bf800000205676c79667fcfd5370000009c00000b0468656164edbc461100000e0000000036
+68686561064e039800000e3800000024686d7478130301cf00000e5c0000001c6c6f63610000
+2c7800000e78000000206d617870013004ca00000e980000002070726570d69cdb8b00000eb8
+0000011e0005000a000a02ee02fd000300060009000c000f00ee00b20a04002bb00c33b40105
+0022042bb0002fb407050022042bb0083201b0102fb000d6b1040fe9b00632b00410b2000e10
+2bb00f32b1030fe9b011d6b0361ab1040c8704b0042e05b00cc0b1070df904b00fc0b1060887
+05b0082e04b006c0b10e0df905b00ac0b00610b3050608132bb1060808b00410b305040c132b
+05b00610b3090608132bb1060808b00710b309070f132b05b00a10b30b0a0e132bb10a0e08b0
+0410b30b040c132b05b00a10b30d0a0e132bb10a0e08b00710b30d070f132b00b7040506090b
+0d0e0f2e2e2e2e2e2e2e2e01b7050708090a0b0c0d2e2e2e2e2e2e2e2eb0401a010030313711
+2111250901132109030301110a02e4fd580114feec230226feedfeed01130113f101140a02f3
+fd0d6601140113fdaf01140167feec0114fec3feec02270000010042000003ea02ab005d00c3
+00b25c01002bb133453333b10205e9b22d3d53323232b21204002bb01b33b10b05e9b0233201
+b05e2fb05fd6b0361ab105068704b0052eb006c0b14c0bf9b04bc0b14a498705b04a2eb049c0
+b11609f9b017c0b1171887b1161708b0171004b018c0b14307f9b042c0b1404187b0402eb041
+c0b12709f9b026c002400f0506161718262740414243494a4b4c2e2e2e2e2e2e2e2e2e2e2e2e
+2e2e2e01400f0506161718262740414243494a4b4c2e2e2e2e2e2e2e2e2e2e2e2e2e2e2eb040
+1a010030313734333e0137133635342623222e013534363b0132161713013e013b01321e0115
+140623220607030615141e0133321e0115142322262206232235343633323637132301062322
+2e01270323030615141e021732151423222622062322421327300a80041c1e0b09070c0f8513
+0801380154080b11800a09060c122e1b068704041b1b0c090613124f264d120e0c0f311b068d
+01fe8b0a0e070702013d018504030a1a1413120f4320400f0d0c13021d2702030e050b060105
+060d060610fdcf02350d050106060c060f19fde30f080606050106061203030c0d060f1b0236
+fd931206070b025efded1009080b0e09010d1203030000000002003b000002b202cc004a004d
+016b00b21c01002bb04233b11805e9b02732b20c04002bb20804002bb4314b1c0c0d2bb04c33
+b13108e9b0303201b04e2fb04fd6b0361ab1050887b0082e04b005c0b14d1bf9b037c0b14d2d
+87b1374d08b04d1005b02dc0b1131cf9b015c004b00510b3060508132bb3070508132b05b013
+10b3141315132bb04d10b32e4d2d132bb32f4d2d132bb3304d2d132bb03710b331374d132b04
+b332374d132bb333374d132bb334374d132bb335374d132bb336374d132b05b34b374d132bb0
+4d10b34c4d2d132bb2060508208a208a23060e111239b00739b236374d111239b03539b03439
+b03339b03239b2141315208a208a23060e111239b22e4d2d111239b02f390040100506131415
+4d072d2e2f3233343536372e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e014015050613141530314b
+4c4d07082d2e2f3233343536372e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2eb0401a01
+00b1181c1112b2002540393939b03111b1023e3939303137343e0237013e0433321e03141715
+131e011732151423222623220e0123223534361636373635342e0127230e0815141e02151423
+222e0123220623221333033b1621341801470105050709050406040202012b01141f1b14053e
+24223319020f10171e0b08030503e409150d0f08090405011115111403172817132f0316f8d0
+160e0d060127280240010a05080301050208020505fd93170c010e110301020e0a0801060907
+1406244b281025161a0f110a0b07040e100207071302010301040147000000030041000002de
+02ab00240035004300b800b22101002bb10305e9b02932b21304002bb10c05e9b03f32b43633
+21130d2bb13607e901b0442fb02dd6b11d13e9b33a1d2d082bb11712e9b045d6b0361ab10607
+8704b0062eb007c0b1251df9b043c005b3332543132b04b3342543132bb3352543132b05b336
+2543132bb2352543208a208a23060e111239b0343900b50607344335252e2e2e2e2e2e01b706
+073334364335252e2e2e2e2e2e2e2eb0401a0100b133031112b01d39b03611b01a39b00c12b0
+1739303137343633323637133635342623222e0135343633213216151406071e011514062321
+222e0136141e013b01323635342e022b0103141333323635342e022b01220607410c0f311b06
+87041c1e0b09070c0f01374e5a6c583b509a67feb60a0807b2020e0f7c4f6f06112c20ac464c
+84516e0612291d761a11060c0d060f1b021f0e050b060105060d064f393c6e1407483b518a01
+05270804027d4c0f1d2a1afee701013077440f1c23150a1a00000001003e0000035402ab0043
+009e00b24201002bb02d33b10205e9b03932b21004002bb01e33b10905e9b11a27323201b044
+2fb045d6b0361ab104058704b0042eb005c0b1320bf9b031c0b1313087b1323108b0311005b0
+30c0b11411f9b015c0b1151687b1141508b0151004b016c0b12a0bf9b029c002400a04051415
+16292a3031322e2e2e2e2e2e2e2e2e2e01400a0405141516292a3031322e2e2e2e2e2e2e2e2e
+2eb0401a0100303137343336371336353423222e013534363b013216171b0136353427223534
+333216323633321514230607030e01232226270b010615141e0217321514232226220623223e
+13501184033d0b09070c0f7d100705bb6e043c12120f4220410f0d0f55108c0407090a0604d7
+8104030a1a1413120f4320400f0d0c13034302120a03080105060d06050cfdf801b710082902
+0c1303030d120341fdcc0d07050c0255fdfd1009080b0e09010d120303000000000100750000
+01cd029a002c005400b22b01002bb10305e9b01e32b21203002bb40e0a2b120d2bb10e05e901
+b02d2fb02ed6b0361ab107088704b0072eb008c0b11717f9b016c002b3070816172e2e2e2e01
+b3070816172e2e2e2eb0401a010030313734363b013236371306232235343736373633321514
+07030615141617163b01321e0115142322262322062322750d0f083820067637381010634d0d
+060c038f030a121a11080a090714165a161558160f0c0d06101a01da290c10030a67100c0409
+fdc50c070a060202010506130303000000010054ffea0227029a0053013100b24901002bb052
+33b43c05001d042bb22c03002bb10e07e9b14d491020c02fb13807e9b2384d0a2bb300384209
+2bb41424492c0d2bb11407e9b214240a2bb300141d092b01b0542fb000d6b14f0be9b04f10b2
+0026102bb1120be9b01210b22617102bb1200ae9b02010b11b0be9b01b2fb02010b2170b102b
+b12f09e9b055d6b0361ab1060887b0062eb008c0b13408f9b032c0b00610b3070608132bb034
+10b3333432132bb2070608208a208a23060e111239b233343211123900b50834060732332e2e
+2e2e2e2e01b50834060732332e2e2e2e2e2eb0401a01b1264f1112b03639b01211b1384d3939
+b01b12b314243a4b241739b01711b01d39b10b201112b30e2c3c49241739b02f11b13f443939
+00b13c491112b04b39b1384d1112b03a39b10e141112b20b262f393939303117343e01373e02
+373e0135342623220e01151433323635342726353433321615140e01232235343e0333321615
+140e020706073633321716333236373e01333215140e02232227262322070e0123225409291f
+14311c205664342438602d16283a0a010b090d1a3b24331327354d2a405c1e484d4269310610
+1e4c30232d3d0e0305090f13234328273a361f26120206090f0c04234f25182a121333896439
+35667225216720111402040b25101746413f15404a412b58512f4b4333263d5403110c44280c
+050a07364636282540080500ff3e000001ae029a02a5001f00000017001e0046001800210030
+00350038003d0046004e0056005b0063006b00290042003f00580033001b00510049004c0054
+003b0015002700610013005e00110023002e002c0025000eb0002cb000134bb01b5058b04a76
+59b000233f18b0062b583d594bb01b50587d5920d4b001132e182db0012c20dab00c2b2db002
+2c4b5258452359212db0032c691820b040505821b040592db0042cb0062b582123217a58dd1b
+cd591b4b525858fd1bed591b2321b0052b58b046765958dd1bcd595959182db0052c0d5c5a2d
+b0062cb12201885058b020885c5c1bb000592db0072cb12401885058b040885c5c1bb000592d
+b0082c121120392f2db0092c207db0062b58c41bcd5920b00325492320b004264ab00050588a
+658a6120b0005058381b2121591b8a8a6120b0005258381b21215959182db00a2cb0062b5821
+101b1021592db00b2c20d2b00c2b2db00c2c202fb0072b5c582020472346616a205820646238
+1b2121591b21592db00d2c12112020392f208a20478a4661238a208a234ab000505823b00052
+58b040381b21591b23b0005058b04065381b2159592db00e2cb0062b583dd61821211b20d68a
+4b5258208a234920b0005558381b2121591b212159592db00f2c2320d6202fb0072b5c582320
+584b531b21b00159588ab0042649238a23208a498a2361381b21212121591b2121212121592d
+b0102c20dab0122b2db0112c20d2b0122b2db0122c202fb0072b5c582020472346616a8a2047
+234623616a602058206462381b2121591b2121592db0132c208a208a8720b003254a64238a07
+b02050583c1bc0592d000000000100000000b3335af69bce5f0f3cf5001f03e800000000c65f
+a78200000000c65fa782fc15fe9e05b304560002000800020001000000000001000003a2ff06
+00c805a5fc15fe8205b300640019000000000000000000000000000702f8000a0380004202e7
+003b02bf004102e7003e01ff007501ff005400000000000001440000030c0000054c000006c4
+00000820000008f400000b0400010000000700d1000800d20008000200010000001400000100
+032100030004b801ff85b0018d004bb0085058b101018e59b146062b5821b010594bb0145258
+21b080591db0062b5c5800b0052045b0032b44b0082045ba000501f400022bb0032b44b00720
+45b20851022bb0032b44b0062045b20731022bb0032b4401b0092045b0032b44b00f2045b209
+41022bb10346762b44b00e2045b20f32022bb10346762b44b00d2045b20e24022bb10346762b
+44b00c2045b20da5022bb10346762b44b00b2045b20c16022bb10346762b44b00a2045b20b72
+022bb10346762b44b0102045ba00097fff00022bb10346762b44b0112045b2104d022bb10346
+762b44b0122045b21123022bb10346762b44b0132045b21221022bb10346762b44b0142045b2
+1315022bb10346762b44b0152045b21413022bb10346762b4459000000>
+] def
+/f-0-0 currentdict end definefont pop
+%%EndResource
+%%BeginResource: font CMUSerif-Roman
+11 dict begin
+/FontType 42 def
+/FontName /CMUSerif-Roman def
+/PaintType 0 def
+/FontMatrix [ 1 0 0 1 0 0 ] def
+/FontBBox [ 0 0 0 0 ] def
+/Encoding 256 array def
+0 1 255 { Encoding exch /.notdef put } for
+Encoding 48 /zero put
+Encoding 49 /one put
+Encoding 50 /two put
+Encoding 51 /three put
+/CharStrings 5 dict dup begin
+/.notdef 0 def
+/one 1 def
+/zero 2 def
+/two 3 def
+/three 4 def
+end readonly def
+/sfnts [
+<0001000000090080000300106376742005bb07cd000005c80000005a6670676d6d042d570000
+062400000205676c7966560aa3f60000009c0000052c68656164ed5a419e0000082c00000036
+6868656105da036c0000086400000024686d74780ac800e600000888000000146c6f63610000
+0ee80000089c000000186d617870012f0453000008b40000002070726570437738a8000008d4
+000000f10005000a000a02ee02fd000300060009000c000f00f400b20a05002bb00c33b40106
+0022042bb0002fb407060022042bb0083201b0102fb000d6b4040a0032042bb00632b00410b2
+000e102bb00f32b4030a0032042bb011d6b0361ab1040c8704b0042e05b00cc0b10714f904b0
+0fc0b106088705b0082e04b006c0b10e14f905b00ac0b00610b3050608132bb1060808b00410
+b305040c132b05b00610b3090608132bb1060808b00710b309070f132b05b00a10b30b0a0e13
+2bb10a0e08b00410b30b040c132b05b00a10b30d0a0e132bb10a0e08b00710b30d070f132b00
+b7040506090b0d0e0f2e2e2e2e2e2e2e2e01b7050708090a0b0c0d2e2e2e2e2e2e2e2eb0401a
+0100303137112111250901132109030301110a02e4fd580114feec230226feedfeed01130113
+f101140a02f3fd0d6601140113fdaf01140167feec0114fec3feec0227000000000100590000
+01a3029a0016006000b20f02002bb11006e9b00a32b20304002bb101031020c02fb10006e901
+b0172fb014d6b10710e9b207140a2bb340070b092bb214070a2bb3401401092bb018d6b10714
+1112b0033900b100101112b00739b00111b01539b00312b00639303113353237321615111416
+3b01152622073533323635110659783e11061d402023fe23203f1e34023b1f400812fdcf1e12
+1f03031f121e02061a0000020027ffea01cc029a00120028004400b20e02002bb11808e9b204
+04002bb12208e901b0292fb000d6b11311e9b01310b2001d102bb10a11e9b02ad6b11d131112
+b10e04393900b122181112b10a00393930311334373633321e01171615140706232226272637
+14171e0133323637363534272e0123220e0207062725347a1a364515282536782d5b1d2d530b
+0c432528430a0b0a0d46230d1c281f070801409350770e362c55959250742e3753aa973c4138
+3c41408f8b3841340816382a3600000000010032000001c1029a002c008c00b20002002bb425
+06001a042bb21b04002bb10906e9b21403002bb40e060013042bb21f03002b01b02d2fb018d6
+b00032b11113e9b01110b21806102bb11e12e9b02b32b01e10b12a0be9b02a2fb02ed6b11118
+1112b2030c25393939b00611b204091b393939b02a12b02c3900b125001112b00339b01411b2
+042a2b393939b00e12b206181e39393930313334363f01363534262322060736333216151406
+23222e0135343633321615140e030f0133323736373307320308c06946402c4a11030a191c23
+1107121c6a515c78121840343a6ab458070a0c191c120b08d6766743603630011f151b1a031c
+19466f6d551e362a43303367080e4bae00000001002affea01c9029a003d00c000b23b02002b
+b10c09e9b22f04002bb12109e9b409033b2f0d2bb409060012042bb418133b2f0d2bb11808e9
+b424293b2f0d2bb424060014042b01b03e2fb000d6b10613e9b00610b02620d611b12c13e9b0
+2c2fb12613e9b00610b2000f102bb13813e9b01e20d611b13212e9b21e320a2bb3401e16092b
+b03fd6b1062c1112b303092429241739b11e261112b71213180c212f353b24173900b1030911
+12b2000f38393939b118131112b03539b02911b01b39b02412b21e2c32393939303137343633
+3216151406271e013332363534262b0122263534373237363736353426232206073215140623
+2226353436333216151406071e011514062322262a22161721271b1858292b463c3b2c0f090f
+0f183a1f1c3a26234d153e1c17161d664b4a6e4e3e4c5b7b5a5377871e1c1e1a1c1f0428244a
+5b4d5903080a020302322f433d331d2132161d1c18394f4e3c3b61140f673f4e735a0000ff3d
+ff5e000001ae029802a6001f00000016001a00460019001c001e00280046004b005400590067
+0036005600500049001400600052003c004300390041003000260021002a003f0023005c0033
+000c002c000f0012004e002e0000b0002cb000134bb01c5058b04a7659b000233f18b0062b58
+3d594bb01c50587d5920d4b001132e182db0012c20dab00c2b2db0022c4b5258452359212db0
+032c691820b040505821b040592db0042cb0062b582123217a58dd1bcd591b4b525858fd1bed
+591b2321b0052b58b046765958dd1bcd595959182db0052c0d5c5a2db0062cb12201885058b0
+20885c5c1bb000592db0072cb12401885058b040885c5c1bb000592db0082c121120392f2db0
+092c207db0062b58c41bcd5920b00325492320b004264ab00050588a658a6120b0005058381b
+2121591b8a8a6120b0005258381b21215959182db00a2cb0062b5821101b1021592db00b2c20
+d2b00c2b2db00c2c202fb0072b5c582020472346616a2058206462381b2121591b21592db00d
+2c12112020392f208a20478a4661238a208a234ab000505823b0005258b040381b21591b23b0
+005058b04065381b2159592db00e2cb0062b583dd61821211b20d68a4b5258208a234920b000
+5558381b2121591b212159592db00f2c2320d6202fb0072b5c582320584b531b21b00159588a
+b0042649238a23208a498a2361381b21212121591b2121212121592db0102c20dab0122b2db0
+112c20d2b0122b2db0122c202fb0072b5c582020472346616a8a2047234623616a6020582064
+62381b2121591b2121592db0132c208a208a8720b003254a64238a07b02050583c1bc0592d00
+0000000100000000b333e5f8bef95f0f3cf5001f03e800000000c65fa56100000000c65fa561
+fb91fe7d05d704460000000800020001000000000001000003a7ff0600c805fffb91fe6105d7
+00010000000000000000000000000000000502f8000a01f4005901f4002701f4003201f4002a
+000000000000014c000001f4000002b8000003c40000052c000100000005009e0008009c0008
+000200010000001400000100031300040004b801ff85b0018d004bb0085058b101018e59b146
+062b5821b010594bb014525821b080591db0062b5c5800b0062045b0032b44b0092045b20671
+022bb0032b44b0082045b20951022bb0032b44b0072045b20831022bb0032b4401b00a2045b0
+032b44b00e2045b20a16022bb10346762b44b00d2045b20e5e022bb10346762b44b00c2045b2
+0d45022bb10346762b44b00b2045ba000c011500022bb10346762b44b00f2045ba000a7fff00
+022bb10346762b44b0102045b20f6b022bb10346762b44b0112045b21030022bb10346762b44
+b0122045b21122022bb10346762b44b0132045b21214022bb10346762b445900000000>
+] def
+/f-1-0 currentdict end definefont pop
+%%EndResource
+%%EndSetup
+%%Page: 1 1
+%%BeginPageSetup
+%%PageBoundingBox: 0 0 1792 385
+%%EndPageSetup
+q 0 0 1792 385 rectclip
+1 0 0 -1 0 385 cm q
+0 g
+2.834646 w
+0 J
+0 j
+[] 0.0 d
+4 M q 1 0 0 1 0 0 cm
+32.809 64.371 m 1790.289 64.371 l S Q
+q 1 0 0 1 0 0 cm
+32.809 319.488 m 1790.289 319.488 l S Q
+q 1 0 0 1 0 0 cm
+32.809 64.371 m 287.926 319.488 l S Q
+q 1 0 0 1 0 0 cm
+287.926 319.488 m 543.043 64.371 l S Q
+q 1 0 0 1 0 0 cm
+543.043 64.371 m 798.164 319.488 l S Q
+q 1 0 0 1 0 0 cm
+798.164 319.488 m 1053.281 64.371 l S Q
+q 1 0 0 1 0 0 cm
+1053.281 64.371 m 1308.398 319.488 l S Q
+q 1 0 0 1 0 0 cm
+1308.398 319.488 m 1563.516 64.371 l S Q
+q 1 0 0 1 0 0 cm
+1563.516 64.371 m 1693.91 194.766 l S Q
+q 1 0 0 1 0 0 cm
+222.73 64.371 m 477.848 319.488 l S Q
+q 1 0 0 1 0 0 cm
+477.848 319.488 m 732.965 64.371 l S Q
+q 1 0 0 1 0 0 cm
+732.965 64.371 m 988.082 319.488 l S Q
+q 1 0 0 1 0 0 cm
+988.082 319.488 m 1243.203 64.371 l S Q
+q 1 0 0 1 0 0 cm
+1243.203 64.371 m 1498.32 319.488 l S Q
+q 1 0 0 1 0 0 cm
+1498.32 319.488 m 1753.438 64.371 l S Q
+q 1 0 0 1 0 0 cm
+1753.438 64.371 m 1790.289 101.223 l S Q
+BT
+65.19685 0 0 -65.19685 -4.042205 44.529453 Tm
+/f-0-0 1 Tf
+(M)Tj
+65.196856 0 0 -65.196856 185.879055 44.529453 Tm
+(M)Tj
+42.377955 0 0 -42.377955 244.327018 57.568824 Tm
+/f-1-0 1 Tf
+(1)Tj
+65.196861 0 0 -65.196861 89.501102 118.23024 Tm
+/f-0-0 1 Tf
+(A)Tj
+42.377955 0 0 -42.377955 137.889395 131.269612 Tm
+/f-1-0 1 Tf
+(0)Tj
+65.196861 0 0 -65.196861 599.737322 118.23024 Tm
+/f-0-0 1 Tf
+(A)Tj
+42.377955 0 0 -42.377955 648.125615 131.269612 Tm
+/f-1-0 1 Tf
+(1)Tj
+65.196861 0 0 -65.196861 1109.973543 118.23024 Tm
+/f-0-0 1 Tf
+(A)Tj
+42.377955 0 0 -42.377955 1158.361836 131.269612 Tm
+/f-1-0 1 Tf
+(2)Tj
+65.196861 0 0 -65.196861 1620.209763 118.23024 Tm
+/f-0-0 1 Tf
+(A)Tj
+42.377955 0 0 -42.377955 1668.598056 131.269612 Tm
+/f-1-0 1 Tf
+(3)Tj
+65.196861 0 0 -65.196861 347.453858 299.647563 Tm
+/f-0-0 1 Tf
+(B)Tj
+42.377955 0 0 -42.377955 393.295399 312.686935 Tm
+/f-1-0 1 Tf
+(1)Tj
+65.196861 0 0 -65.196861 857.690078 299.647563 Tm
+/f-0-0 1 Tf
+(B)Tj
+42.377955 0 0 -42.377955 903.531619 312.686935 Tm
+/f-1-0 1 Tf
+(2)Tj
+65.196861 0 0 -65.196861 1367.926299 299.647563 Tm
+/f-0-0 1 Tf
+(B)Tj
+42.377955 0 0 -42.377955 1413.76784 312.686935 Tm
+/f-1-0 1 Tf
+(3)Tj
+65.196856 0 0 -65.196856 -4.042205 384.686933 Tm
+/f-0-0 1 Tf
+(N)Tj
+ET
+q 1 0 0 1 0 0 cm
+231.234 169.254 m 316.273 254.293 l S Q
+q 1 0 0 1 0 0 cm
+231.234 169.254 m 245.406 189.098 l S Q
+q 1 0 0 1 0 0 cm
+231.234 169.254 m 251.074 183.426 l S Q
+q 1 0 0 1 0 0 cm
+316.273 254.293 m 296.43 240.121 l S Q
+q 1 0 0 1 0 0 cm
+316.273 254.293 m 302.098 234.449 l S Q
+q 1 0 0 1 0 0 cm
+528.871 169.254 m 443.832 254.293 l S Q
+q 1 0 0 1 0 0 cm
+528.871 169.254 m 509.027 183.426 l S Q
+q 1 0 0 1 0 0 cm
+528.871 169.254 m 514.699 189.098 l S Q
+q 1 0 0 1 0 0 cm
+443.832 254.293 m 458.004 234.449 l S Q
+q 1 0 0 1 0 0 cm
+443.832 254.293 m 463.676 240.121 l S Q
+BT
+65.196861 0 0 -65.196861 273.753071 208.938901 Tm
+/f-0-0 1 Tf
+[(1)-2272(2)]TJ
+ET
+Q Q
+showpage
+%%Trailer
+end
+%%EOF

+ 39 - 0
index_style_and_order.xdy

@@ -0,0 +1,39 @@
+(define-letter-groups
+     ("a" "b" "c" "d" "e" "f" "g" "h" "i" "j" "k" "l" "m"
+      "n" "o" "p" "q" "r" "s" "t" "u" "v" "w" "x" "y" "z"))
+
+(require
+     "rules/latin-tolower.xdy")
+
+(use-rule-set
+     :run 0
+     :rule-set ("latin-tolower"))
+
+(markup-locref :class "arabic-page-numbers" :open  "\hyperpage{" :close "}")
+
+(markup-locclass-list :open "\quad{}")
+(markup-locref-list :sep ", ")
+
+(markup-crossref-list :class "seealso" :open ", \seealso{" :sep "; " :close "}{}")
+
+(markup-range :sep "--")
+
+(markup-letter-group
+     :open-head "~n~n  \textbf {\large "
+     :close-head "}~n  \nopagebreak"
+     :capitalize)
+
+(markup-index :open
+"\begin{theindex}
+  \providecommand*\lettergroupDefault[1]{}
+  \providecommand*\lettergroup[1]{%
+      \par\textbf{#1}\par
+      \nopagebreak
+  }
+\addcontentsline{toc}{chapter}{Предметный указатель}
+{\small
+"
+              :close 
+"}
+~n~n\end{theindex}~n"
+              :tree)

+ 179 - 0
parts/intros.tex

@@ -0,0 +1,179 @@
+%% ======================= Страница 5 =======================
+\chapter*{От переводчика}
+\label{int:translator_s_preface}
+
+Хотя математическая логика существует как наука по крайней мере с середины
+прошлого столетия, круг специалистов в этой области невелик и результаты её
+известны недостаточно широко. Однако за последние десятилетия --- и в
+особенности начиная с 1930~г. --- в ней были сделаны важнейшие открытия и
+развитие её приняло настолько бурный характер, что теперь трудно уже охватить
+все полученные результаты одной монографией, во всяком случае, такая монография
+до сих пор никем не написана. Имеются всё же две монографии, которые играют
+ведущую роль в мировой литературе по математической логике, --- это книга
+Гильберта и Бернайса <<Grundlagen der Mathematik>> (т.~I~---~1934~г.,
+т.~II~---~1939~г.) и предлагаемая вниманию читателя более современная книга
+Клини <<Введение в метаматематику>> (1952~г.).
+
+Написанная одним из крупнейших специалистов, книга Клини содержит очерк
+современного состояния оснований математики и возникших в этой связи основных
+направлений.
+
+От читателя не требуется никаких предварительных познаний в логике или
+математике. Однако подробное проведение всех опущенных автором деталей
+доказательств требует некоторой тренировки (которую, впрочем, можно приобрести в
+процессе тщательного изучения этой книги). Таким образом, книгу можно
+рекомендовать и начинающему --- при условии, что он не боится трудностей.
+Читателю, уже знакомому с излагаемым материалом, книга будет полезна не только
+благодаря оригинальности изложения и обилию тонких замечаний, но и потому, что
+она может служить удобным библиографическим источником.
+
+Часть~\ref{part:recursive_functions} этой монографии может в основном читаться
+независимо от остальных частей и служить руководством для изучения теории
+рекурсивных функций, более сжатым и потому более трудным, чем выпущенная недавно
+Издательством иностранной литературы книга Р.~Петер <<Рекурсивные функции>>,
+(1951~г.). Третья часть книги Клини содержит более полное изложение теории
+обще-рекурсивных функций и вовсе отсутствующую у Петер теорию
+частично-рекурсивных функций, но зато монография Петер богаче материалом,
+связанным с примитивными рекурсиями).
+
+В нескольких местах автор счёл возможным отослать читателя за доказательствами к
+упомянутой книге Гильберта и Бернайса. Мы в специальных добавлениях восполнили
+эти отсутствующие звенья в изложении автора.
+
+%% ======================= Страница 6 =======================
+
+Если принять во внимание сделанные нами добавления и ряд подстрочных примечаний,
+то по сравнению с материалом, изложенным у Гильберта и Бернайса, в настоящей
+книге отсутствует теория одноместных предикатов, а также изложенные в последних
+двух дополнениях к книге Гильберта и Бернайса теория положительных форм
+(относящаяся к исчислению высказываний) и формальное построение анализа на
+основе арифметики с переменными функциями (для которого, впрочем, до сих пор не
+известно никакого доказательства непротиворечивости).
+
+Зато налицо подробное рассмотрение интуиционистских систем, общая теория как
+обще-, так и частично-рекурсивных функций, исчисление Генцена, реализуемость,
+т.~е. вещи, более современные и заведомо перевешивающие упомянутый не вошедший
+сюда материал книги Гильберта и Бернайса.
+
+Мы глубоко благодарны автору за присланный им перечень опечаток и отдельных
+мелких погрешностей, имевшихся в английском издании. В русском издании
+соответствующие места исправлены.
+
+Выражаем благодарность также А.~А.~Курмитису~(Рига), указавшему на одну
+неточность, допущенную автором (в замечании~1%TODO: восстановить линк
+~\textsection~\ref{sec:equivalences_duality}).
+
+Ряд мелких исправлений внесён нами без специальных оговорок.
+
+В оригинале при переносе формул последний знак, стоящий перед переносом, не
+повторяется. Следуя установившейся у нас традиции, мы, как правило, повторяем
+этот последний знак, если он не является знаком отрицания или запятой.
+
+Обращаем особое внимание читателя на различие между двумя шрифтами --- курсив и
+плантин, которое начинает появляться в~\ref{chap:a_formal_system} главе, и
+особенно начиная с
+\textsection~\ref{sec:the_further_development_of_number_theory}%
+~гл.~\ref{chap:formal_number_theory}.\\*
+{\setlength{\tabcolsep}{0cm}
+\begin{tabular}{lllllllllllllllllllll}
+Курсив\hspace*{1.5em}&%
+$a$,\hspace*{.25em}&$b$,\hspace*{.25em}&$c$,\hspace*{.25em}&$d$,\hspace*{.25em}&
+$e$,\hspace*{.25em}&$f$,\hspace*{.25em}&$g$,\hspace*{.25em}&$h$,\hspace*{.25em}&
+$i$,\hspace*{.25em}&\ldots,\hspace*{.25em}&%
+$l$,\hspace*{.25em}&$m$,\hspace*{.25em}&$n$,\hspace*{.25em}&$p$,\hspace*{.25em}&
+$r$,\hspace*{.25em}&$s$,\hspace*{.25em}&\ldots,\hspace*{.25em}&%
+$x$,\hspace*{.25em}&$y$,\hspace*{.25em}&$z$\\
+Плантин\hspace*{1.5em}%
+&$\mathit{a}$,&$\mathit{b}$,&$\mathit{c}$,&$\mathit{d}$,&$\mathit{e}$,%
+&$\mathit{f}$,&$\mathit{g}$,&$\mathit{h}$,&$\mathit{i}$,&\ldots,%
+&$\mathit{l}$,&$\mathit{m}$,&$\mathit{n}$,&$\mathit{p}$,&$\mathit{r}$,%
+&$\mathit{s}$,&\ldots,&$\mathit{x}$,&$\mathit{y}$,&$\mathit{z}$
+\end{tabular}}
+
+(Плантин употребляется для обозначения формальных переменных, а курсив --- для
+содержательных.)
+\bigskip
+
+\hfill\textit{А. С. Есенин-Вольпин.}
+
+%% ======================= Страница 7 =======================
+
+\chapter*{Предисловие}
+\label{int:preface}
+
+Две последовательные эры исследований по основаниям математики в девятнадцатом
+столетии, достигшие своего наивысшего развития в теории множеств и арифметизации
+анализа, сменились около 1900~г. новым кризисом и новой эрой, отмеченной
+господством программ Рассела и Уайтхэда, Гильберта и Брауэра.
+
+Появление в 1931~г. двух теорем Гёделя о неполноте, в 1933~г. работы Тарского о
+понятии истины в формализованных языках, в 1934~г. эрбран-гёделевского понятия
+,,обще-рекурсивной функции`` и в 1936~г. связанного с ним тезиса Чёрча возвещает
+уже новейшую эру, в которой математические средства применяются как для оценки
+прежних программ, так и в новых, не предвиденных прежде направлениях.
+
+Цель этой книги --- дать связное введение в область математической логики и
+теории рекурсивных функций и в новейшие исследования по основаниям математики
+вообще.
+
+Пришлось произвести некоторый отбор. В основном это было сделано с тем, чтобы
+сосредоточиться после части~\ref{part:the_problem_of_foundations} на
+метаматематическом исследовании элементарной арифметики с необходимым материалом
+из математической логики, оставив в стороне исчисление предикатов высших
+ступеней, анализ, теорию типов и теорию множеств. Этот отбор был сделан потому,
+что в арифметике мы находим пример первого и простейшего применения новейших
+методов и концепций, тогда как распространение их на другие отрасли математики
+пока ещё находится в стадии становления (и будет приобретать, повидимому, всё
+б\'{o}льшую и б\'{o}льшую важность в ближайшем будущем).
+
+Книга написана с таким расчётом, чтобы она могла служить учебником для
+аспирантов-математиков первого года обучения\footnote{First year graduate
+students in mathematics. --- \textit{Прим. перев.}} (и старше) и для других лиц,
+достигших этого уровня владения математикой, независимо от их познаний в том или
+ином разделе математики.
+
+При использовании книги в качестве учебника рекомендуется быстро (в течение двух
+или трёх недель при аудиторных занятиях по три раза в неделю) пройти
+часть~\ref{part:the_problem_of_foundations}
+(главы~\ref{chap:the_theory_of_sets}--%
+\ref{chap:a_critique_of_mathematical_reasons}), которая содержит необходимый
+подготовительный материал. Интенсивное изучение должно начаться с
+части~\ref{part:mathematical_logic} (глава~\ref{chap:a_formal_system}), где
+%% ======================= Страница 8 =======================
+существенно, чтобы изучающий сосредоточился на приобретении прочного навыка в
+обращении с метаматематическим методом.
+
+Параграфы, отмеченные звёздочкой, могут быть при первом чтении опущены или
+рассмотрены бегло. К изучению некоторых из них придётся в дальнейшем вернуться
+(например, \textsection~\ref{sec:set-theoretic_predicate_logic_k_transforms}
+нужно изучить перед чтением
+\textsection~\ref{sec:goedel_s_completeness_theorem}).
+
+Обе знаменитые теоремы Гёделя о неполноте изложены в
+главе~\ref{chap:formal_number_theory}, причём доказательство одной леммы
+отложено до главы~\ref{chap:the_arithmetization_of_metamathemathics}. Автору
+удавалось закончить эти десять глав (а иногда даже несколько больше) в течение
+семестрового курса, который он неоднократно читал в Висконсинском университете.
+
+Остальные пять глав можно использовать для расширения такого курса до годичного
+или при параллельном чтении, сопровождающем семинар.
+
+Семестровый курс по рекурсивным функциям при наличии у студентов некоторого
+предварительного знакомства с математической логикой или под руководством
+осведомлённого преподавателя можно начать с части~\ref{part:recursive_functions}
+(глава~\ref{chap:primitive_recursive_functions}). Имеются и другие возможности
+выбора материала; например, тем, кто интересуется преимущественно математической
+логикой, многое из части~\ref{part:mathematical_logic_additional_topics} можно
+читать непосредственно за частью~\ref{part:mathematical_logic} или даже за
+главой~\ref{chap:the_predicate_calculus}.
+
+Автор благодарен Сондерсу Маклэйну, склонившему его к написанию этой книги и
+сделавшему ценные критические замечания в связи с первыми черновиками некоторых
+глав. Джон Аддисон полностью прочитал гранки с большой тщательностью и
+независимо от автора. Среди многих других, оказавших помощь, были Эверт Бет,
+Роберт Бройш, Аренд Гейтинг, Нэнси Клини, Леонард Линский, Дэвид Нельсон, Джеймс
+Ренно и Джин Роуз. Научные заимствования отмечены ссылками на библиографию;
+особенно много использована книга Гильберта и Бернайса <<Grundlagen der Mathematik>> в двух томах, 1934 и 1939~гг.
+\bigskip
+
+{\small\noindent Июль~1952~г.}\hfill\textit{С.~К.~Клини.}

Tiedoston diff-näkymää rajattu, sillä se on liian suuri
+ 1111 - 0
parts/part1-the_problems_of_foundations.tex


+ 155 - 0
parts/part2-mathematical_logic.tex

@@ -0,0 +1,155 @@
+\part{Математическая логика}
+\label{part:mathematical_logic}
+
+\chapter{Формальная система}
+\label{chap:a_formal_system}
+
+\section{Формальные символы}
+\label{sec:formal_symbols}
+
+stub
+
+\section{Правила преобразования}
+\label{sec:formation_rules}
+
+stub
+
+\section{Свободные и связанные переменные}
+\label{sec:free_and_bound_variables}
+
+stub
+
+\section{Правила преобразования}
+\label{sec:transformation_rules}
+
+stub
+
+
+
+
+\chapter{Формальный вывод}
+\label{chap:formal_deduction}
+
+\section{Формальный вывод}
+\label{sec:formal_deduction}
+
+stub
+
+\section{Теорема о дедукции}
+\label{sec:the_deduction_theorem}
+
+stub
+
+\section{Теорема о дедукции (окончание)}
+\label{sec:the_deduction_theorem_concluded}
+
+stub
+
+\section{Введение и удаление логических символов}
+\label{sec:introduction_and_elimination_of_logical_symbols}
+
+stub
+
+\section{Зависимость формул и варьирование переменных}
+\label{sec:dependence_and_variation}
+
+stub
+
+\chapter{Исчисление высказываний}
+\label{chap:the_propositional_calculus}
+
+\section{Формулы исчисления высказываний}
+\label{sec:proposition_letter_formulas}
+
+stub
+
+\section{Эквивалентность, замена}
+\label{sec:equivalence_replacement}
+
+stub
+
+\section{Эквивалентности, двойственность}
+\label{sec:equivalences_duality}
+
+stub
+
+\section{Оценка, непротиворечивость}
+\label{sec:valuation_consistency_vi}
+
+stub
+
+\section{Полнота, нормальная форма}
+\label{sec:completness_normal_form}
+
+stub
+
+\section{Разрешающая процедура, интерпретация}
+\label{sec:decision_procedure_interpretation}
+
+stub
+
+\chapter{Исчисление предикатов}
+\label{chap:the_predicate_calculus}
+
+\section{Предикатные формулы}
+\label{sec:predicate_letter_formulas}
+
+stub
+
+\section{Выводимые правила, свободные переменные}
+\label{sec:derived_rules_free_variables}
+
+stub
+
+\section{Замена}
+\label{sec:replacement}
+
+stub
+
+\section{Подстановка}
+\label{sec:substitution}
+
+stub
+
+\section{Эквивалентности, двойственность, предварённая форма}
+\label{sec:equivalences_duality_prenex_form}
+
+stub
+
+\section{Оценка, непротиворечивость}
+\label{sec:valuation_consistency_vii}
+
+stub
+
+\section{Теоретико-множественная логика предикатов, \texorpdfstring{\lowercase{$k$}}{k}-образы}
+\label{sec:set-theoretic_predicate_logic_k_transforms}
+
+stub
+
+\chapter{Формальная арифметика}
+\label{chap:formal_number_theory}
+
+\section{Индукция, равенства, замена}
+\label{sec:induction_equality_replacement}
+
+stub
+
+\section{Сложение, умножение, порядок}
+\label{sec:addition_multiplication_order}
+
+stub
+
+\section{Дальнейшее построение арифметики}
+\label{sec:the_further_development_of_number_theory}
+
+stub
+
+\section{Формализованные вычисления}
+\label{sec:formal_calculations}
+
+stub
+
+\section{Теорема Гёделя}
+\label{sec:goedel_s_theorem}
+
+stub

+ 169 - 0
parts/part3-recursive_functions.tex

@@ -0,0 +1,169 @@
+\part{Рекурсивные функции}
+\label{part:recursive_functions}
+
+\chapter{Примитивно-рекурсивные функции}
+\label{chap:primitive_recursive_functions}
+
+\section{Примитивно-рекурсивные функции}
+\label{sec:primitive_recursive_functions}
+
+stub
+
+\section{Явное определение}
+\label{sec:explicit_definition}
+
+stub
+
+\section{Предикаты, представления с помощью простых множителей}
+\label{sec:predicates_prime_factor_representation}
+
+stub
+
+\section{Возвратная рекурсия}
+\label{sec:course_of_values_recursion}
+
+stub
+
+\section{Равномерность}
+\label{sec:uniformity}
+
+stub
+
+\section{\texorpdfstring{\protect$\beta$}{Бета}-функция Гёделя}
+\label{sec:goedel_s_b-function}
+
+stub
+
+\section{Примитивно-рекурсивные функции и арифметический формализм}
+\label{sec:primitive_recursive_functions_and_the_number-theoretic_formalism}
+
+stub
+
+
+
+
+\chapter{Арифметизация математики}
+\label{chap:the_arithmetization_of_metamathemathics}
+
+\section{Метаматематика как обобщённая арифметика}
+\label{sec:metamathematics_as_generalized_arithmetic}
+
+stub
+
+\section{Рекурсивные метаматематические определения}
+\label{sec:recursive_metamathematical_definitions}
+
+stub
+
+\section{Гёделевская нумерация}
+\label{sec:goedel_numbering}
+
+stub
+
+\section{Индуктивные и рекурсивные определения}
+\label{sec:inductive_and_recursive_definitions}
+
+stub
+
+
+\chapter{Обще-рекурсивные функции}
+\label{chap:general_recursive_functions}
+
+\section{Формальное вычисление примитивно-рекурсивных функций}
+\label{sec:formal_calculation_of_primitive_recursive_functions}
+
+stub
+
+\section{Обще-рекурсивные функции}
+\label{sec:general_recursive_functions}
+
+stub
+
+\section{Арифметизация формализма рекурсивных функций}
+\label{sec:arithmetization_of_the_formalism_of_recursive_functions}
+
+stub
+
+\section{\texorpdfstring{\protect$\mu$}{Мю}-оператор, нумерация, диагональный процесс}
+\label{sec:the_mu_operator_enumeration_diagonal_procedure}
+
+stub
+
+\section{Нормальная форма, теорема Поста}
+\label{sec:normal_form_post_s_theorem}
+
+stub
+
+\section{Обще-рекурсивные функции и арифметический формализм}
+\label{sec:general_recursive_functions_and_the_number-theoretic_formalism}
+
+stub
+
+\section{Теорема Чёрча, обобщённая теорема Гёделя}
+\label{sec:church_s_theorem_the_generalized_goedel_s_theorem}
+
+stub
+
+\section{Симметричная форма теоремы Гёделя}
+\label{sec:a_symmetric_form_of_goedel_s_theorem}
+
+stub
+
+
+\chapter{Частично-рекурсивные функции}
+\label{chap:partial_recursive_functions}
+
+
+\section{Тезис Чёрча}
+\label{sec:church_s_thesis}
+
+stub
+
+\section{Частично-рекурсивные функции}
+\label{sec:partial_recursive_functions}
+
+stub
+
+\section{\texorpdfstring{\protect$3$}{3}-значная логика}
+\label{sec:the_3-valued_logic}
+
+stub
+
+\section{Гёделевские номера}
+\label{sec:goedel_numbers}
+
+stub
+
+\section{Теорема о рекурсии}
+\label{sec:the_recursion_theorem}
+
+stub
+
+
+\chapter{Функции, вычислимые по Тьюрингу}
+\label{chap:computable_functions}
+
+\section{Машины Тьюринга}
+\label{sec:turing_machines}
+
+stub
+
+\section{Вычислимость рекурсивных функций}
+\label{sec:computability_of_recursive_functions}
+
+stub
+
+\section{Рекурсивность вычислимых функций}
+\label{sec:recursiveness_of_computable_functions}
+
+stub
+
+\section{Тезис Тьюринга}
+\label{sec:turing_thesis}
+
+stub
+
+\section{Проблема тождества для полугрупп}
+\label{sec:the_word_problem_for_semi-groups}
+
+stub

+ 64 - 0
parts/part4-mathematical_logic_additional_topics.tex

@@ -0,0 +1,64 @@
+\part[Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})]%
+{Математическая~логика\texorpdfstring{\break}{ }(\texorpdfstring{\lowercase{дополнительные~разделы}}{дополнительные~разделы})}
+\label{part:mathematical_logic_additional_topics}
+
+\chapter{Исчисление предикатов и системы аксиом}
+\label{chap:the_predicate_calculus_and_axiom_systems}
+
+\section{Гёделевская теорема о полноте}
+\label{sec:goedel_s_completeness_theorem}
+
+stub
+
+\section{Исчисление предикатов с равенством}
+\label{sec:the_predicate_calculus_with_equality}
+
+stub
+
+\section{Элиминируемость (устранимость) описательных определений}
+\label{sec:eliminability_of_descriptive_definitions}
+
+stub
+
+\section{Система аксиом, парадокс Сколема, натуральный ряд чисел}
+\label{sec:axiom_systems_skolem_s_paradox_the_natural_number_sequence}
+
+stub
+
+\section{Проблема разрешимости}
+\label{sec:the_decision_problem}
+
+stub
+
+\chapter{Непротиворечивость; классическая и интуиционистская системы}
+\label{chap:consistency_classical_and_intuition_systems}
+
+\section{Формальная система Генцена}
+\label{sec:gentzen_s_formal_system}
+
+stub
+
+\section{Теорема Генцена о нормальной форме}
+\label{sec:gentzen_s_normal_form_theorem}
+
+stub
+
+\section{Доказательства непротиворечивости}
+\label{sec:consistency_proofs}
+
+stub
+
+\section{Разрешающая процедура, интуиционистская недоказуемость}
+\label{sec:decision_procedure_intuitionistic_unprovability}
+
+stub
+
+\section{Редукция классических систем к интуиционистским}
+\label{sec:reduction_of_classical_to_intuitionistic_systems}
+
+stub
+
+\section{Рекурсивная реализуемость}
+\label{sec:recursive_realizability}
+
+stub

+ 79 - 0
parts/translator_s_appendixes.tex

@@ -0,0 +1,79 @@
+\part*{Добавления переводчика}%
+\label{part:interpreter_s_appendices}%
+
+\thispagestyle{empty}%
+\vspace*{50pt}%
+\chapter[Доказательство второй теоремы Гёделя]{Доказательство второй теоремы Гёделя}%
+% в этом заголовке есть сноска - смотреть в файле bookvvmrus.cls
+% условие \if под комментарием "грязный хак"
+%
+\label{apx:proof_of_the_2nd_goedel_s_theorem}
+
+stub
+
+\chapter{Восполнение пробела в \textsection\textsection~%
+\texorpdfstring{%
+    \lowercase{%
+        \ref{%
+           sec:primitive_recursive_functions_and_the_number-theoretic_formalism%
+            }~и~%
+        \ref{sec:eliminability_of_descriptive_definitions}
+    }%
+}{49 и 74}}
+\label{apx:filling_the_gap_in_49_and_74}
+
+stub
+
+\chapter{О формализуемости перехода от (%
+    \texorpdfstring{\lowercase{iv}}{iv}) к (\texorpdfstring{\lowercase{v}}{v}%
+    ) в доказательстве теоремы 36}% TODO: сделать все линки
+\label{apx:about_formalisation_of_transition_from_iv_to_v_in_proof_of_theorem_36}
+
+stub
+
+\chapter[%
+    Построение формулы~\texorpdfstring{В}{В} примера 2 % TODO: сделать оба линка
+    \textsection~\texorpdfstring{\lowercase{\ref{sec:consistency_proofs}}}{79}
+]%
+{Построение формулы~\texorpdfstring{\textmd{В}}{В} %
+    примера 2 % TODO: сделать оба линка
+    \textsection~\texorpdfstring{\lowercase{\ref{sec:consistency_proofs}}}{79}}
+\label{apx:formation_of_formulae_C_example_2_in_79}
+
+stub
+
+\chapter{Об устранимости равенства и неопределённых описаний}
+\label{apx:about_elimination_of_equality_and_undefined_descriptions}
+
+stub
+
+\chapter%
+    [О формализации индукции до порядковых чисел, меньших
+        \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} в системе гл.~%
+        \texorpdfstring{\lowercase{\ref{chap:a_formal_system}} %
+            {(\lowercase{по }%
+                Г\lowercase{ильберту}-Б\lowercase{ернайсу %
+                \lbrack 1939, стр.361--366\rbrack})%
+            }%
+        }%
+        {IV (по Гильберту-Бернайсу\lbrack 1939, стр.361--366\rbrack )}%
+    ]%
+    {О формализации индукции до порядковых чисел, меньших
+        \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} в системе гл.~%
+        \texorpdfstring{\lowercase{\ref{chap:a_formal_system}}%
+            \vskip 1ex \relax\textmd{(\lowercase{по }%
+                Г\lowercase{ильберту}-Б\lowercase{ернайсу %
+                \lbrack 1939, стр.361--366\rbrack})%
+            }%
+        }{IV (по Гильберту-Бернайсу\lbrack 1939, стр.361--366\rbrack )}%
+    }%
+    % TODO: сделать линк на библиографию
+\label{%
+    apx:about_formalisation_of_induction_upto_ordinal_numbers_less_than_epsilon}
+
+stub
+
+\chapter{Доказательство непротиворечивости классической арифметики с помощью индукции до \texorpdfstring{$\varepsilon_0$}{эпсилон нулевое} (по Шютте). Результат П.~С.~Новикова}
+\label{apx:proof_of_consistency_of_classic_arithmetic}
+
+stub

+ 63 - 0
title_pages.tex

@@ -0,0 +1,63 @@
+\begingroup
+\pagestyle{empty}
+{\setlength{\parindent}{0cm}
+\begin{titlepage}
+\newgeometry{top=0\paperheight,bottom=0\paperheight,
+right=0\paperwidth,left=0\paperwidth}
+{\centering\includegraphics[width=\paperwidth,keepaspectratio=true,
+trim=0 42.2868119 0 0,clip]{cover.png}}
+\restoregeometry
+\end{titlepage}
+\newpage
+%%==============================================================================
+\null
+{\normalsize\phantom{a}\par\vspace{5ex}\par}
+\begin{center}
+{\LARGE INTRODUCTION TO\par METAMATHEMATICS\par}
+\bigskip\par
+{\large by\par\bigskip\par
+STEPHEN COLE KLEENE\par\medskip\par
+Professor of Mathematics at the University\par
+of Wisconsin (Madison, Wis., USA)\par}
+\bigskip\bigskip\bigskip\par
+{\normalsize 1952\par\medskip\par
+D. VAN NOSTRAND COMPANY, INC.\par\smallskip\par
+\textit{New York}\hspace{11em}\textit{Toronto}\par}
+\end{center}}
+\newpage
+%%==============================================================================
+{\setlength{\parindent}{0cm}
+\begin{center}
+\Large{\sparseFnt Стефен К. КЛИНИ}\par
+\bigskip\bigskip\bigskip\par
+{\Huge{\sparseFnt ВВЕДЕНИЕ}\bigskip\par
+В\hspace{.34em}МЕТАМАТЕМАТИКУ}\par
+\bigskip\bigskip\bigskip\par
+{\normalsize\textit{Перевод с английского}\smallskip\par
+{\sparseFnt А. С. ЕСЕНИНА-ВОЛЬПИНА}\bigskip\par
+\textit{Под редакцией}\smallskip\par
+{\sparseFnt В. А. УСПЕНСКОГО}\par}
+\vfill\par
+{\normalsize\sparseFnt ИЗДАТЕЛЬСТВО\par}
+{\large\sparseFnt ИНОСТРАННОЙ ЛИТЕРАТУРЫ\par
+ \textit{Москва --- 1957}}
+\end{center}}
+\newpage
+%%==============================================================================
+{\normalsize\phantom{a}\par\vspace{15ex}\par}
+{\small
+Книга является самой обширной из имеющихся монографий по математической логике и
+теории рекурсивных функций. Она не предполагает со стороны читателя никаких
+специальных познаний и поэтому может считаться общедоступной. Книга
+предназначена для глубокого изучения предмета и рассчитана как на специалистов
+по математической логике и теории рекурсивных функций, так и на лиц, желающих
+впервые, но серьёзно, изучить эти науки.\par}
+\vfill\par
+\setlength{\parindent}{0cm}
+\begin{center}
+{\normalsize Редакция литературы по математическим наукам\medskip\par}
+{\small\textit{Заведующий редакцией профессор А. Г. КУРОШ}}
+\end{center}
+\newpage
+\endgroup
+\pagestyle{fancy}