МАТЕМАТИКА

О сложности выводов в классическом исчислении высказываний

С. В. Попов

Институт прикладной математики АН СССР, г. Москва

УДК: 517.11

Статья представлена к публикации: А. Н. Тихонов
Поступило: 16.02.1976

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

• 
•