base-logic.tex 12.5 KB