TY  - BOOK
AU  - Расева,Елена
AU  - Сикорский,Роман
AU  - Янков,В.А.
TI  - Математика метаматематики
PY  - 1972///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Математическая логика
N1  - Список лит. с. 568-578; Оригинал на англ.; Helena Rasiowa and Roman Sikoski -; Warszawa : Panstwowe Wydawnictwo Naukowe : 1963
ER  -