LOGICA-FORMAL.pdf