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

• Класифікатори та каталоги
• Логічні теорії. Логічні обчислення

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

Підтеми:

• Інтуїціоністська і конструктивна логіка
• Багатозначні логіки (многозначные логики)
• Модальні логіки
• Комбінаторна логіка
• Паранесуперечлива логіка (паранепротеворечивая логика)
• Імовірнісна логіка (вероятностная логика). Індуктивна логіка