https://9lib.org/document/qvl1dxdy-florence-logique-langage-déduction-naturelle-pierre-declés-recenzja.html