Расева, Елена Математика метаматематики / Е. Расева, Р. Сикорский ; Пер. с англ. В.А. Янкова. - Москва : Наука. Гл. ред. физ.-мат. лит., 1972. - 591 с. - Математическая логика и основания математики . Список лит. с. 568-578 Subjects--Topical Terms: Математическая логика