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

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

Логіка предикатів. Квантифікація

Підтеми:

• Теорія категоричного силогізму

Документи:

• К проблеме размешиваемости в узком исчислении предикатов [Текст] : Автореф. дис. ... канд .физ.-мат. наук / Костырко В. Ф. ; АН СССР , Ин-т кибернетики. — Киев, 1965. — 11 с.
• Філософський аналіз логічного моделювання [Текст] : Автореф... канд.філос.наук: 09.00.01 / Щербина О.Ю.; КГУ им. Т.Г.Шевченко. — Київ, 1998. — 16л.
• Notions de logique [Текст] / Philippe Thiry. — 3e ed. — Bruxelles : De Boeck univ., 1998. — 182p.
• Some aspects of the internal structure of discourse: The dynamics of nominal anaphora [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam... / M.H. van den Berg; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1996. — IV, 202 p.