TY - BOOK AU - Слисенко, А. О. TI - Исследования по конструктивной математике и математической логике. 1979: Сборник работ PY - 1968/// CY - Москва KW - პერიოდიკა KW - მათემატიკური ლოგიკა KW - კრებულები ER -