|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Неклассические логики и их применениесборник
- Год издания: 1982
- Серия: Вопросы кибернетики
- Том: 75
- Место издания: Научный совет АН СССР по комплексной проблеме «Кибернетика»
- Добавил в систему: Золин Евгений Евгеньевич
Статьи, опубликованные в сборнике
-
- 1982 Некоторые применения метода рекурсивной реализуемости к интуиционистской теории типов
- Шварц Григорий Феликсович
- в сборнике Неклассические логики и их применение, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика», том 75, с. 37-54
-
- 1982 Неразрешимые исчисления высказываний
- Шехтман Валентин Борисович
- в сборнике Неклассические логики и их применение, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика», том 75, с. 74-116
-
- 1982 О пропозициональных программных логиках
- Валиев Марс Котдусович
- в сборнике Неклассические логики и их применение, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика», том 75, с. 23-36
-
- 1982 Приложения модальной логики в теории доказательств
- Артемов С.Н.
- в сборнике Неклассические логики и их применение, серия Вопросы кибернетики, место издания Научный совет АН СССР по комплексной проблеме «Кибернетика», том 75, с. 3-22