TY - BOOK AU - Осипова, В. А. AU - Янков, В. А. TI - Математическая логика PY - 1974/// CY - Москва PB - [МАИ] KW - Математическая логика KW - psbo N2 - Библиогр.: с. 76 ER -