TY  - BOOK
AU  - Markov, A. A.
TI  - On lower degrees of constructive mathematical logic
PY  - 1966///
CY  - M.
KW  - Математическая логика, конструктивная
KW  - nlr_sh1
KW  - Москва
KW  - Мт-1
KW  - rubbk
KW  - ˆ[‰В127.1.0]
ER  -