TY - BOOK AU - Харин,Николай Никитич AU - Харапинский,Я.Л. TI - Математическая логика и теория множеств: (О соотношении абстрактного и конкретного) PY - 1963/// CY - [М.] PB - Росвузиздат KW - математическая логика KW - формальная логика KW - логика KW - математика KW - алгоритмов теория KW - теория множеств KW - логические построения (математическая логика) KW - логические выражения KW - монографии N1 - Библиогр.: с. 191-192; Получено из INTERNET UR - http://sun.tsu.ru/limit/2016/000080134/000080134.djvu ER -