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