बूलीय बीजगणित (तर्कशास्त्र) - अन्य भाषाएँ