Труды ордена Ленина математического института имени В.А.Стеклова (Математическая логика, теория алгоритмов и теория множеств, 1973)