logic.tex 29.3 KB