Ссылки
| Википедия:Вавилон |
| Шаблон:User ru |
| Шаблон:User ua |
| Шаблон:User en-3 |
| Шаблон:User de-2 |
| Кратко о себе | ||
|
||
|
||
|
||
|
||
| Шаблон:Участник против копирайтов | ||
|
План
Пока такой: написать и/или довести до ума следующие статьи:
- Альфред Тарский
- Дана Скотт
- Теория моделей
- Аксиоматизация
- Элиминация кванторов
- Топос
- Декартово-замкнутая категория
- Лямбда-исчисление
- Арифметика Пеано
Новый план
Довести до ума разделы, связанные с тьюринговскими лауреатами.
