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