logic.tex 23.5 KB