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

hk 5d74f5d860 minor corrections to par 12, chapter 3 cmt		hace 6 años
..
intros.tex	07d7ed4511 par 11, chapter 2	hace 6 años
part1-the_problems_of_foundations.tex	5d74f5d860 minor corrections to par 12, chapter 3 cmt	hace 6 años
part2-mathematical_logic.tex	07d7ed4511 par 11, chapter 2	hace 6 años
part3-recursive_functions.tex	07d7ed4511 par 11, chapter 2	hace 6 años
part4-mathematical_logic_additional_topics.tex	fc7abcf917 par 12, chapter 3	hace 6 años
translator_s_appendixes.tex	07d7ed4511 par 11, chapter 2	hace 6 años