Числення висловлень – Інші мови