logic.tex 23.3 KB