https://9lib.org/document/yj7jl3np-dowiemy-czym-zajmuje-logika-formalna.html