TY  - BOOK
AU  - Расева,Елена
AU  - Сикорский,Роман
AU  - Янков,В.А.
TI  - Математика метаматематики =: The Mathematics of Metamathematics : Пер. с англ. 
T2  - Серия "Математическая логика и основания математики"
PY  - 1972///
CY  - Москва
PB  - Наука. Гл. ред. физ.-мат. лит.
KW  - Высшая математика
ER  -