Report - LOGICA· FORMAL TEORIAS DE PRIMER ORDEN …cliplab.org/~pedro/slides/PS/7_teoremas_axiom.pdfSea una T una teor· a de primer orden. Una for· mula Ade L(T) es elemental sii: Es una

Please pass captcha verification before submit form