logic.tex 24.3 KB