Зведений каталог бібліотек Харкова

• Класифікатори та каталоги
• Алгоритми. Обчислювальні функції

Різноманітні моделі обчислень/Различные модели вычислений/Different models of computation

Підтеми:

• Автомати та їх логічні застосування/Автоматы и их логические приложения/Automata and logic of their application

Документи:

• Новые доказательства важных теорем бестипового экстенсионального л-исчисления [Текст] / А.А. Лялецкий // Кибернетика и системный анализ. — 2014. — С. 53-63.