|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Упрощение бетовско-хинтикковского доказательства полноты исчисления предикатов первого порядкатезисы доклада
- Автор: Смирнова Е.Д.
- Сборник: Седьмой Всесоюзный симпозиум по логике и методологии науки. Тезисы сообщений
- Тезисы
- Год издания: 1976
- Место издания: Наукова думка Киев
- Первая страница: 68
- Последняя страница: 71
- Добавил в систему: Смирнова Елена Дмитриевна