Some simple decidability proofs
Some Theorems For Model Theory Of Mixed-Valued Predicate Calculi
Souslin-Klееnе does not imply Beth
Tavole semantiche per sistemi astratti di logica estensionale
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
The observational predicate calculus and complexity of computations (Preliminary communication)
Theorem-proving systems [Book]
Unification for nilpotent groups of class 2.
Zum L(Q)-Interpolationsproblem.
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe.
Гливенковские классы секвенций
Два неразрешимых класса формул классического исчисления предикатов
Допустимые и производные правила
Матричные иерархии языков первого порядка и их приложения.
Метод эпсилон подстановок для исчисления предикатов с равенством
Минимальный копорядок псевдобулевых и топобулевых алгебр, не имеющих конечного базиса квазитождеств
О метаматематическом подходе к доказательству теорем дискретной математики
О секвенциальных вариантах прикладных исчислений предикатов
Об аппроксимации классов сведения УИП разрешимыми классами