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

• Класифікатори
• 22.1 Математика

22.12 Основи математики. Математична логіка

Підтеми:

• 22.122 Математична логіка
• 22.124 Алгебраїчна логіка
• 22.126 Теорія множин
• 22.127 Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз

Документи:

• Кужель, О. В. Математична логіка таїї застосування [Текст] / О. В. Кужель // У світі математики. – 2003. – №1. – С.1-6.
• Кужель, О. В. Математична логіка та її застосування [Текст] / О. В. Кужель // У світі математики. – 2004. – № 4. – С. 9-14.
• Пынько, А. П. Алгебраизуемость секвенциальных исчислений для конечнозначных логик с определителем равенства [Текст] / А. П. Пынько // Доповіді Національної Академії Наук України: Математика. Природознавство. Технічні науки. – 2005. – № 3. – С. 66-71.