Поиск :
Личный кабинет :
Электронный каталог: Никифоров, А.Л. - Модификация табличных построений для классической и инстуиционистской пропозициональной логики
Никифоров, А.Л. - Модификация табличных построений для классической и инстуиционистской пропозициональной логики
Книга (аналит. описание)
Автор: Никифоров, А.Л.
Методы логического анализа: Модификация табличных построений для классической и инстуиционистской пропозициональной логики
1977 г.
ISBN отсутствует
Автор: Никифоров, А.Л.
Методы логического анализа: Модификация табличных построений для классической и инстуиционистской пропозициональной логики
1977 г.
ISBN отсутствует
На полку
Книга (аналит. описание)
Никифоров, А.Л.
Модификация табличных построений для классической и инстуиционистской пропозициональной логики / А.Л. Никифоров. – Москва // Методы логического анализа / ред. П.В. Таванец. – Москва : Наука, 1977. – С. 113-150.
Общий = Философия : Логика
Никифоров, А.Л.
Модификация табличных построений для классической и инстуиционистской пропозициональной логики / А.Л. Никифоров. – Москва // Методы логического анализа / ред. П.В. Таванец. – Москва : Наука, 1977. – С. 113-150.
Общий = Философия : Логика
Привязано к:
Доступно
1 из 1
Книга
Методы логического анализа
Наука, 1977 г.
ISBN отсутствует
Фундаментальная библиотека ФГБОУ ВО МГППУ : Сретенка
Методы логического анализа
Наука, 1977 г.
ISBN отсутствует
Фундаментальная библиотека ФГБОУ ВО МГППУ : Сретенка