logic.tex 15.7 KB