"cylindrical algebra" Deutsche bedeutung