МАТЕМАТИКА

О разрешимости или неразрешимости некоторых формально-логических исчислений

И. Л. Бонди

Орский государственный педагогический институт им. Т. Г. Шевченко

УДК: 517.11

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

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

• 
•