Имеется в виду академический сборник статей: «Математическая логика, теория алгоритмов и теория множеств». Это том 133, изданный в 1973 году издательством «Наука» в серии «Труды ордена Ленина Математического института имени В. А. Стеклова». В этом фундаментальном труде, ответственным редактором которого выступил академик А. А. Марков, собраны основополагающие работы советских ученых по актуальным вопросам оснований математики.