Зведений каталог бібліотек Миколаєва

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

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

Підтеми:

• Логічні мови. Логіко-предметні мови
• Логічні теорії. Логіко-предметні теорії.Класичні логічні системи
• Некласичні, формальні логічні системи
• Логіко-математичні теорії (Формальна арифметика. Формальна теорія чисел)
• Пошук виводу та проблеми розв'язання при логічних та логіко-математичних обчислень

Документи:

• Алгебри квазіарних та бі-квазіарних реляцій [Текст] / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
• Відношення логічного наслідку в логіках квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 29-43.
• Композиційно-номінативні логіки безкванторних рівнів [Текст] / С.С. Шкільняк, Д.Б. Волковицький // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 48-62.
• Композіційно-номінативні логіки з непрямим іменуванням [Текст] / Т.В. Россада, О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 44-49.
• Логіки квазіарних предикатів кванторно-екваційного рівня [Текст] / М.С. Нікітченко, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 19-34.
• Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями [Текст] / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
• Секвенційні числення композиційно-номінативних логік квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 33-43.
• Секвенційні числення композиційно-номінативних модальних логік функціонально-екваційного рівня [Текст] / О.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 17-28.
• Секвенційні числення першопорядкових логік однозначних квазіарних предикатів [Текст] / С.С. Шкильняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 34-51.
• Спеціальні відношення логічного наслідку в логіках квазіарних предикатів [Текст] / С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 36-48.
• Чисті першопорядкові логіки квазіарних предикатів [Текст] / М.С. Нікітченко, О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування (ч/з) [Текст] : наук. журн. — С. 73-86.