Електронний каталог

• Класифікатори
• 510 Фундаментальні та загальні питання математики

510.6 Математична логіка

Підтеми:

• 510.64 Некласичні логіки

Документи:

• Котляр, В. Математична логіка та теорія алгоритмів [Електронний ресурс] [Текст] = Mathematical Lgic and Theory of Algorithms : програма/Course Summary / В. Котляр ; каф. цифр. економіки та систем. аналізу. – 2-14/П25. – Київ : ДТЕУ, 2025. – 12 с.