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

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

Класична та конструктивна логіка. Інтуїціоністська логіка. Оперативна логіка

Документи:

• Логіка та раціональність: аналітика взаємозв"язку [Текст] : автореф. ... д-ра філос. наук :09.00.06 / Шенгерій Л.М. ; КНУТШ. — Київ, 2009. — 34 с.
• Логіка у запитаннях, відповідях і аргументаціях [Текст] : навчальний посібник для студ. вищ. навч. закладів / В.І. Павлов. — Київ : Центр навчальної літератури, 2008. — 408с.
• Н.А. Васильев и его воображаемая логика [Текст] : воскрешение одной забытой идеи / В.А. Бажанов. — Москва : Канон+ : Реабилитация, 2009. — 240с.
• Calculi for constructive communication. A study of the dynamics of partial states [Текст] : Proefschrift ter verkijging van de graad van doctor aan de Katholieke universiteit Brabant... / J. Jaspars, M. Ogier; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1994. — 218 p.