base-logic.tex 13.3 KB