News for hackers. Stuff that matters.

A comment on Loglan – The Language of Logic. Parent comment

Re:Loglan – The Language of Logic by gleki on Wednesday August 19, 2015 @07:16AM (#10084721)
Lojban now supports second order predicate logic.
[ Parent | on HN ]

There are no comments on this comment yet.