base-logic.tex 12.6 KB