Начало Каталог Помощ
Регистрация Вход
rt-in_progress
/
rt-g0_73c250c9-Kleene_VVM-russian
3
0
Разклонения 0
Файлове Задачи 0 Заявки за сливане 0

Клини Стефен К.
--
"Введение в метаматематику"
--
перевод с английского А. С. Есенин-Вольпин
--
1957 год

ИН на ревизия: 2d79017ef2
Клонове Маркери
rt-g0_73c250...
ZIP TAR.GZ
hk 2d79017ef2 par 10, chapter 2 преди 6 години
images 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години
parts 2d79017ef2 par 10, chapter 2 преди 6 години
.gitignore 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години
Kleene_S.K.-Vvedenie_v_metamatematiku[1957y]-russian.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години
README.md 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години
bibliography.bib 2d79017ef2 par 10, chapter 2 преди 6 години
bookvvmrus.bbx 2d79017ef2 par 10, chapter 2 преди 6 години
bookvvmrus.cbx 5b8d7ed2dd par 6, minor bibliography changes преди 6 години
bookvvmrus.cls 5b8d7ed2dd par 6, minor bibliography changes преди 6 години
build_script 74d7a1f931 par 7 преди 6 години
definitions.tex 2d79017ef2 par 10, chapter 2 преди 6 години
index_style_and_order.xdy 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години
title_pages.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 преди 6 години

README.md

Клини Стефен К.

Введение в метаматематику

перевод с английского А. С. Есенин-Вольпин

под редакцией В. А. Успенского

1957 год

Оригинал

ed2k       torrent

Замечания по сборке

  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). Если удастся получить набор всех начертаний гарнитуры "Литературная", этот недостаток будет исправлен.