| .. |
|
intros.tex
|
882221a26f
structure and toc, preliminary format, intros, chapter 1
|
6 vuotta sitten |
|
part1-the_problems_of_foundations.tex
|
5b8d7ed2dd
par 6, minor bibliography changes
|
6 vuotta sitten |
|
part2-mathematical_logic.tex
|
882221a26f
structure and toc, preliminary format, intros, chapter 1
|
6 vuotta sitten |
|
part3-recursive_functions.tex
|
882221a26f
structure and toc, preliminary format, intros, chapter 1
|
6 vuotta sitten |
|
part4-mathematical_logic_additional_topics.tex
|
882221a26f
structure and toc, preliminary format, intros, chapter 1
|
6 vuotta sitten |
|
translator_s_appendixes.tex
|
882221a26f
structure and toc, preliminary format, intros, chapter 1
|
6 vuotta sitten |
hk
5b8d7ed2dd
par 6, minor bibliography changes