класична логіка, классическая логика ; математична логіка, математическая логика

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

Вісник Київського національного університету імені Тараса Шевченка [Текст]. — Київ : Київський університет, 2001. — 2001. — 80 с.

• Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ