TY  - BOOK
AU  - Сморинский, К.
AU  - Оревков, В.П.
TI  - Теория доказательств и конструктивная математика
PY  - 1983///
CY  - Б. м.
N2  - Библиогр. в конце глав; Предм. указ.: с. 383-388
ER  -