|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О самодвойственной системе аксиом классического исчисления высказыванийстатья
- Автор: Ермолаева Надежда Митрофановна
- Сборник: Исследования по математической лингвистике, математической логике и информационным языкам
- Редакторы: Бочвар Дмитрий Анатольевич, Финн Виктор Константинович
- Год издания: 1972
- Место издания: Наука Москва
- Первая страница: 232
- Последняя страница: 237
- Добавил в систему: Золин Евгений Евгеньевич