Неразрешимость в модальном исчислении предикатов класса формул, содержащих только одну одноместную предикатную переменную

В. П. Оревков

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

• 
•