base-logic.tex 14.2 KB