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

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

Неклассическая логика

Підтеми:

• Многозначные логики. Исчисление многозначных логик
• Интуиционистская и конструктивная логика
• Модальные логики
• Комбинаторная логика
• Вероятностная логика. Индуктивная логика
• Паранепротиворечивая логика

Документи:

• Исследования по формализованным языкам и неклассическим логикам [Текст] / Академия наук СССР ; Гос. комитет Совета Министров СССР по науке и технике ; Всесоюзный ин-т науч. и технич. информации ; [отв. ред. Д.А. Бочвар]. — Москва : Наука, 1974. — 275 с.