Inicio Explorar Axuda
Rexistro Iniciar sesión
rt-in_progress
/
rt-g0_73c250c9-Kleene_VVM-russian
3
0
Fork 0
Ficheiros Incidencias 0 Pull Requests 0
Árbore: 882221a26f
Ramas Etiquetas
rt-g0_73c250...
/
parts
hk 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
..
intros.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
part1-the_problems_of_foundations.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
part2-mathematical_logic.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
part3-recursive_functions.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
part4-mathematical_logic_additional_topics.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos
translator_s_appendixes.tex 882221a26f structure and toc, preliminary format, intros, chapter 1 %!s(int64=6) %!d(string=hai) anos