base-logic.tex 15.4 KB