|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказыванийстатья
Статья опубликована в журнале из списка RSCI Web of Science
- Автор: Кузнецов Александр Владимирович
- Журнал: Алгебра и логика
- Том: 2
- Номер: 4
- Год издания: 1963
- Издательство: Обществ. фонд "Сиб. фонд алгебры и логики"
- Местоположение издательства: Новосибирск
- Первая страница: 47
- Последняя страница: 66
- Добавил в систему: Золин Евгений Евгеньевич