Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia V.K. Finn OriginalPaper Pages: 205 - 213
V.A. Smirnov’s Results in the Field of Modern Formal Logic A.S. Karpenko OriginalPaper Pages: 227 - 252
Investigation into Combinatory Systems with Dual Combinators Katalin Bimbó OriginalPaper Pages: 285 - 296
Weakly Associative Relation Algebras with Polyadic Composition Operations Vera Stebletsova OriginalPaper Pages: 297 - 323