Nicomega
Created page with "'''Logical languages''' (often abbreviated to '''loglangs''') are meant to allow (or enforce) unambiguous statements. They are typically based on predicate logic but can also..."
15:17
+214