МАТЕМАТИКА

О формулах узкого исчисления предикатов, отличающих некоторые классы моделей с просто вычислимыми предикатами

В. С. Шевяков

Институт точной механики и вычислительной техники Академии наук СССР, г. Москва

УДК: 517.11

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

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

• 
•