Об одном классе реализуемых формул логики высказываний Ф.Л. Варпаховский — 1971 Zapiski naucnych seminarov Leningradskogo