|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Simulations of propositional single-succedent intuitionistic sequent calculiстатья
- Автор: Kozhemiachenko Daniil
- Журнал: Логико-философские штудии
- Том: 16
- Номер: 1-2
- Год издания: 2018
- Издательство: Региональная общественная организация Санкт-Петербургское философское общество
- Местоположение издательства: Санкт-Петербург
- Первая страница: 107
- Последняя страница: 108
- Добавил в систему: Кожемяченко Даниил Андреевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | 590-832-1-SM.pdf | 142,4 КБ | 14 сентября 2018 [legionier] |