names of computer languages
Jump to navigation
Jump to search
- jbocre: Gödel Numbers and Lojban -- being a disquisition into the provability of Lojban correctness
- Lojban and Logic