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

• Класифікатори та каталоги
• Логіка

Дедукція, дедуктивна логіка, теорія дедуктивних висновків. Традиційний силлогізм, алгебра логіки, логіка висловлювань, логіка предикатів, модальна і нормативна логіка, комбінаторна логіка, класична і конструктивна логіка

Документи:

• Аксіома простого категоричного силогізму з точки зору сучасної онтології [Текст] / Л. Терентьєва // Філос. думка : укр. наук.-теорет. часопис. — Київ : Наук. думка, 2001. — № 5. — С. 57-73.
• Дедуктивные умозаключения [Текст] / Ленингр. гос. ун т им. А.А. Жданова. — б. м. : Изд-во Лен. ун-та, 1969. — 96 с.
• Логіка в задачах [Текст] : підручник / Хоменко І. В. — К. : Четверта хвиля, 1998. — 283.
• Понятие философской категории: опыт уточнения в языке тернарного описания [Текст] / А. Ю. Цофнас // Философские науки  : науч. образов. просветит. журн. / М-во образования и науки Рос. Федерации, Акад. гуманитар. исслед. — С. 132-143.
• Поняття тотожності та область дискурсу мови тернарного опису [Текст] / Л. Леоненко // Філос. думка : укр. наук.-теорет. часопис. — Київ : Наук. думка, 2001. — № 5. — С. 41-56.
• Правила игры в бисер [Текст] / А. М. Еременко // Человек  : науч.-попул. журн. / Рос. акад. наук. — 79-92.
• Системна модель індукції та дедукції: співвіднесеність і подвійність [Текст] / Людмила Терентьєва // Філос. думка : укр. наук.-теорет. часопис. — Київ : Наук. думка, 2011. — № 2. — 40-54.
• Структура доведення трансцендентальної дедукції категорій [Текст] / Юрій Федорченко // Філос. думка : укр. наук.-теорет. часопис. — Київ : Наук. думка, 2015. — № 2. — С. 39-49.
• Трансцендентально-прагматичне граничне обгрунтування та рефлексія про домагання значливості [Текст] / О. І. Вєдров // Практ. філософія : наук. журн. — Київ : ПАРАПАН, 2010. — № 3. — 94-105.
• Філософія і наука в системному підході [Текст] / А. Уйомов // Філос. думка : укр. наук.-теорет. часопис. — Київ : Наук. думка, 2001. — № 5. — С. 19-40.