TY  - BOOK
AU  - Энгелер, Э.
TI  - Метаматематика элементарной математики
PY  - 1987///
CY  - М.
PB  - Мир
N2  - Библиогр. в конце разделов; Указ. имен., предм.: с. 123-126
ER  -