Encyclopedia of Math Person

В. Е. Плиско

http://libmeta.ru/resource/mathenc/author/a179

Входящие связи

← author · 14

Клини - мостовского классификация Логицизм Логическая аксиома Логическое следствие Независимость системы аксиом Неразрешимость Нумерически выразимый предикат Общезначимость Перечисления оператор Реализуемость Рекурсивная реализуемость Рекурсивная функция ещё 2