Алексей Савватеев, Математическая логика


v20240901