Участник:Хацкер
Материал из Википедии — свободной энциклопедии
[править] План
Википедия:Вавилон | ||
|
||
|
||
|
Этот участник предпочитает обращение на «ты» |
![]() |
Участник из Германии |
![]() |
Этот участник интересуется математикой |
![]() |
Этот участник является сторонником свободного ПО |
Пока такой: написать и/или довести до ума следующие статьи:
- Альфред Тарский
- Дана Скотт
- Теория моделей
- Аксиоматизация
- Элиминация кванторов
- Топос
- Декартово-замкнутая категория
- Лямбда-исчисление