V. A. Smirnov (1931–1996)
Vladimir Alexandrovich Smirnov as a Founder of Research Schools in Logic and Methodology of Science in the USSR and Russia*
Publications of Vladimir Alexandrovich Smirnov
V.A. Smirnov's Results in the Field of Modern Formal Logic*
The Classification of Propositional Calculi
Functional Dependencies between Variables
Investigation into Combinatory Systems with Dual Combinators
Weakly Associative Relation Algebras with Polyadic Composition Operations