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

hk 9b9b3c4150 par 8		6 年之前
..
intros.tex	882221a26f structure and toc, preliminary format, intros, chapter 1	6 年之前
part1-the_problems_of_foundations.tex	9b9b3c4150 par 8	6 年之前
part2-mathematical_logic.tex	882221a26f structure and toc, preliminary format, intros, chapter 1	6 年之前
part3-recursive_functions.tex	882221a26f structure and toc, preliminary format, intros, chapter 1	6 年之前
part4-mathematical_logic_additional_topics.tex	882221a26f structure and toc, preliminary format, intros, chapter 1	6 年之前
translator_s_appendixes.tex	882221a26f structure and toc, preliminary format, intros, chapter 1	6 年之前