"applied logic" Deutsche bedeutung