https://9lib.net/document/4zpn744y-louis-couturat-modern-logic-international-auxiliary-language.html