RUS  ENG
Полная версия
ЖУРНАЛЫ // Математические заметки // Архив
Матем. заметки, 1972, том 11, выпуск 2, страницы 165–174 (Mi mzm9776)
О некоторой классификации выводимых пропозициональных формул

А. С. Аникеев

Московский государственный университет им. М. В. Ломоносова

Аннотация: В работе рассматриваются вопросы, связанные с выводимостью пропозициональных формул при ограничениях на длину вывода. Проводится классификация формул при минимальной длине вывода. Библ. 3 назв.

УДК: 517.11

Поступило: 02.06.1970


 Англоязычная версия: Mathematical Notes, 1972, 11:2, 106–110

Реферативные базы данных:

© МИАН, 2024