|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Интуиционистское исчисление высказываний с эквиваленцией и конъюнкциейтезисы доклада
- Автор: Плиско В.Е.
- Сборник: Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
- Редакторы: Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
- Серия: Смирновские чтения по логике
- Тезисы
- Год издания: 2015
- Издательство: Изд-во Моск. ун-та
- Местоположение издательства: М.
- Первая страница: 28
- Последняя страница: 30
- Аннотация: Предлагается полное интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией в качестве единственных логических связок.
- Добавил в систему: Плиско Валерий Егорович