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

hk 96b7d7aa3b par 17, chapter 4, part 2		6 лет назад
..
intros.tex	96b7d7aa3b par 17, chapter 4, part 2	6 лет назад
part1-the_problems_of_foundations.tex	96b7d7aa3b par 17, chapter 4, part 2	6 лет назад
part2-mathematical_logic.tex	96b7d7aa3b par 17, chapter 4, part 2	6 лет назад
part3-recursive_functions.tex	07d7ed4511 par 11, chapter 2	6 лет назад
part4-mathematical_logic_additional_topics.tex	3a8eb16713 par 13, chapter 3 + wide revision of inline equations	6 лет назад
translator_s_appendixes.tex	07d7ed4511 par 11, chapter 2	6 лет назад