rt-in_progress/rt-g0_73c250c9-Kleene_VVM-russian: Клини Стефен К. -- "Введение в метаматематику" -- перевод с английского А. С. Есенин-Вольпин -- 1957 год @ 74d7a1f9310df380d4a0bb3e00c9d999f4c5fd7e

hk 882221a26f structure and toc, preliminary format, intros, chapter 1		6 лет назад
..
drafts	882221a26f structure and toc, preliminary format, intros, chapter 1	6 лет назад
cover.png	882221a26f structure and toc, preliminary format, intros, chapter 1	6 лет назад
p4_img0.eps	882221a26f structure and toc, preliminary format, intros, chapter 1	6 лет назад