Discusión:Teoría de tipos
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.
Comienza una discusión acerca de Teoría de tipos
Las páginas de discusión sirven para debatir sobre cómo hacer que el contenido de Wikipedia sea el mejor posible. Puedes utilizar esta página de discusión para empezar una discusión acerca de cómo mejorar Teoría de tipos.
