Lojban
Lojban is an engineered language. Its predecessor Loglan, based on
first-order logic, is designed by James Cook Brown in 1955 and published
in Scientific American in 1960.
The time I learned Lojban is not verified; it is possibly 2017 since
I had no doubt about lambda calculus.