Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿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.