|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Об одном классе аксиоматических теорий и связанных с ними исчислениях элементарных формул с двусторонне ветвящимися выводамистатья
- Автор: Сыркин Г.И.
- Сборник: Материалы 2-го Советско-финского коллоквиума «Релевантные логики и теория следования». Москва. 1979, с. 123-127
- Год издания: 1979
- Место издания: Академия наук СССР, Институт философии. Москва Москва
- Первая страница: 123
- Последняя страница: 127
- Добавил в систему: Сыркин Геннадий Иосифович