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

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

Дедукція. Дедуктивна логіка. Теорія дедуктивних умовиводів

Підтеми:

• Алгебра логіки
• Традиційний силогізм
• Логіка предикатів. Квантифікація
• Логіка висловлювань
• Числення класів
• Багатозначна логіка
• Модальна та нормативна логіка. Деонтична логіка
• Природній умовивід
• Класична та конструктивна логіка. Інтуїціоністська логіка. Оперативна логіка
• Комбінаторна логіка

Документи:

• Дедуктивная и индуктивная логика [Текст] / В. Минто. — 1909.
• Дедуктивная и индуктивная логика [Текст] / под ред. В.Н. Ивановского. — 2-е исправл и доп. — Москва, 1896. — 539 с.
• Дедуктивная и индуктивная логика [Текст] : Учебник / Пер. с англ. С.А.Котляревского. — Екатеринбург : Деловая книга, 1997. — 432с.
• La logique deductive [Текст] : dans sa derniere phase de developpement / Alessandro Padoa, avec une preface de G. peano. — Paris : Gauthier-Villars, 1912. — 106 p.
• Logiс [Текст] / A. Bain. — London : Longmans ; Green ; Reader & Dyer, 1870. — XV, 281, 32 p.