Тбилиси 20140324d1988 k y0rusy50 ca creator text monographic Логика формальная stltpush (RuTPU)RU\TPU\subj\40560 60404 логика теория методология структура симпозиумы 5520002118 20231101232953.0 254813