Математика метаматематики

Расева, Елена.
     Математика метаматематики / Е. Расева, Р. Сикорский ; Пер. с англ. В. А. Янкова. — Москва : Наука, 1972. — 592 с. (Математическая логика и основания математики).

На обороте тит. л.: Helena Rasiowa and Roman Sikorski. The mathematics of metamathematies.
Библиогр.: с. 568-578
Указ. имен. и предм.: с. 581-591.

Сикорский, Роман
Янков, Вадим Анатольевич, пер.

УДК: 510.2 ; 510 (022)

[ SYS NUM: 30476 ]