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.