Подробное описание документа
А. Чёрч
Введение в математическую логику / А. Чёрч ; под ред. В. А. Успенский, пер. с англ. В. С. Чернявский. - Москва : Иностранная литература, 1960. -
