base-logic.tex 13.1 KB