МАТЕМАТИКА

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

С. Ю. Маслов, Г. Е. Минц, В. П. Оревков

Ленинградское отделение Математического института им. В. А. Стеклова АН СССР

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

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

• 
•