Логические и логико-математические исчисления. 1 : сборник работ / под редакцией В. П. Оревкова. — Ленинград : Наука, Ленинградское отделение, 1968. — 203 с. — (Труды Математического института имени В. А. Стеклова ; т. 98) - Оревков, В. П. (род. 1940); Математический институт имени В. А. Стеклова (Москва) (Труды Математического института имени В. А. Стеклова, 1968)