Логика высказываний и теория вывода А. А. Зиновьев
Сохранить в:
Автор: | Зиновьев А. А. |
---|---|
Тип документа: | Книга |
Язык: | Russian |
Год издания: |
Москва Издательство Академии наук СССР 1962
|
Ключевые слова: |
Схожие документы
-
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний
Год издания: (1965) -
Выразимость в исчислениях высказываний
Автор: Раца М. Ф.
Год издания: (1991) -
Комплексная логика
Автор: Зиновьев А. А.
Год издания: (2010) -
Логика науки
Автор: Зиновьев А. А.
Год издания: (1971) -
Комплексная логика
Автор: Зиновьев А. А.
Год издания: (1970)