extended-logic.tex 12.8 KB