logic.tex 24 KB