О секвенциальных вариантах прикладных исчислений предикатов М.Г. Рогава — 1967 Zapiski naucnych seminarov Leningradskogo