base-logic.tex 14.3 KB