logic.tex 30.3 KB