|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Проблема разрешения для логики предикатов и операцийстатья
Статья опубликована в журнале из списка RSCI Web of Science
- Автор: Гуревич Ю.Ш.
- Журнал: Алгебра и логика
- Том: 8
- Номер: 3
- Год издания: 1969
- Издательство: Обществ. фонд "Сиб. фонд алгебры и логики"
- Местоположение издательства: Новосибирск
- Первая страница: 284
- Последняя страница: 308
- Добавил в систему: Золин Евгений Евгеньевич