|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Ламбда-конверсия А. Чёрча и теория множеств Г. Кантора (секвенциальный вариант)тезисы доклада
- Автор: Кузичев А.С.
- Сборник: Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
- Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2009
- Место издания: Современные тетради Москва
- Первая страница: 22
- Последняя страница: 23
- Добавил в систему: Кузичев Александр Сергеевич