¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica y en matemáticas, procedimiento con el que se construyen sistemas formales o lenguajes formales: simbolización de un lenguaje con finalidad deductiva.
¿Qué es?
No se ha añadido ninguna twiki todavía.
En lógica y en matemáticas, procedimiento con el que se construyen sistemas formales o lenguajes formales: simbolización de un lenguaje con finalidad deductiva.