Discusión:Teoría de tipos

Contenido de la página no disponible en otros idiomas.
De Wikipedia, la enciclopedia libre

La 2ª referencia es publicidad, sugeriría que se eliminara, la primera es inentiligible, emplea fórmulas sin hacer una definición metamatemática previa de los símbolos que usa y las categorías sintácticas a las que pertenece Raúl Aparicio Bustillo.