|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Варианты понятия реализуемости для пропозициональных формул, приводящие к логике слабого закона исключенного третьегостатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Авторы: Верещагин Н.К., Скворцов Д.П., Скворцова Е.З., Чернов А.В.
- Журнал: Труды Математического института им.В.А.Стеклова РАН
- Том: 242
- Год издания: 2003
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 77
- Последняя страница: 97
- Добавил в систему: Верещагин Николай Константинович