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