logic.tex 20 KB