Логіка першого порядку – Інші мови