Logic toán – Theo ngôn ngữ khác