logic.tex 25.8 KB