base-logic.tex 12.4 KB