https://123dok.net/document/yr363prv-lofo-logique-formelle.html