Опис документа:
| |
| Шифр: |
Д |
| Авт. знак: |
15809 |
| Автор: | Лялецький О.О. |
| Назва: | Неперервність функції в інтенсіональних моделях лямбда-подібних числень |
| Від. щодо назв.: |
дис. ... канд. фіз.-мат. наук: 01.05.01 |
| Відповідальність: |
Лялецький О. О.; КНУТШ |
| Місто: | Київ |
| Рік: | 2009 |
| Сторінок: | 109 л. |
| ББК: |
В122+З973.2-018 |
| Тип документу: |
Дисертація |
|
|