|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
От фактор-семантики к логическому исчислению алгебрстатья
- Автор: Карпенко Александр Степанович
- Сборник: Синтаксические и семантические исследования неэкстенсиональных логик
- Редактор: Смирнов Владимир Александрович
- Год издания: 1989
- Место издания: Наука Москва
- Первая страница: 93
- Последняя страница: 100
- Добавил в систему: Золин Евгений Евгеньевич