Описание RUSMARC Карточка

ˆAn ‰approach to constructive mathematical logic

Мт01 Д-6/1 английский/ˆAn ‰approach to constructive mathematical logic / A. Markov.ˆAn ‰approach to constructive mathematical logic / A. Markov.ˆAn ‰approach to constructive mathematical logic.M./, 1967 ( ). - 1967. - 16 с. ; 22 см см.ˆAn ‰approach to constructive mathematical logic. M., 1967 .
     Отпеч. множит. аппаратом.Математическая логика, конструктивная/nlr_sh1/Мт1/ˆ[‰В127.1.0]/ Markov, A. A., Andrej Andreevič (мл.; д-р физ.-мат. наук; 1903-1979).A. A.Andrej Andreevič