La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es
Usuario:Ironside/Índice de la Enciclopedia
Artículo de la Enciclopedia Libre Universal en Español.
Estoy pasando las categorías de las subdisciplinas al código de seis cifras en lugar de las actuales basadas en los dos últimos dígitos.
Categoría:U1102 Lógica deductiva Categoría:U110201 Analogía Categoría:U110202 Álgebra de Boole Categoría:U110203 Lógica formal Categoría:U110204 Lenguajes formales Categoría:U110205 Sistemas formales Categoría:U110206 Fundamentos de matemáticas Categoría:U110207 Generalidades Categoría:U110208 Lógica matemática Categoría:U110209 Lógica modal Categoría:U110210 Teoría de modelos Categoría:U110211 Teoría de pruebas Categoría:U110212 Cálculo proposicional Categoría:U110213 Funciones recursivas Categoría:U110214 Lógica simbólica Categoría:U110215 Teoría de lenguajes formales
