logic.tex 23.7 KB