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