Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Anikeev, A S https://www.mathnet.ru/eng/person74912 List of publications on Google Scholar Publications in Math-Net.Ru Citations 1972 1. A. S. Anikeev, “Classification of derivable propositional formulas”, Mat. Zametki, 11:2 (1972),  165–174      ; Math. Notes, 11:2 (1972), 106–110 Organisations Lomonosov Moscow State University