| .. |
|
intros.tex
|
07d7ed4511
par 11, chapter 2
|
%!s(int64=6) %!d(string=hai) anos |
|
part1-the_problems_of_foundations.tex
|
18fe71abc0
par 14, chapter 3
|
%!s(int64=6) %!d(string=hai) anos |
|
part2-mathematical_logic.tex
|
07d7ed4511
par 11, chapter 2
|
%!s(int64=6) %!d(string=hai) anos |
|
part3-recursive_functions.tex
|
07d7ed4511
par 11, chapter 2
|
%!s(int64=6) %!d(string=hai) anos |
|
part4-mathematical_logic_additional_topics.tex
|
3a8eb16713
par 13, chapter 3 + wide revision of inline equations
|
%!s(int64=6) %!d(string=hai) anos |
|
translator_s_appendixes.tex
|
07d7ed4511
par 11, chapter 2
|
%!s(int64=6) %!d(string=hai) anos |
hk
18fe71abc0
par 14, chapter 3