"combinatory logic" Deutsche bedeutung