Este artículo examina el papel de los aditivos en lógicas semi-subestructurales.
― 9 minilectura
Ciencia de vanguardia explicada de forma sencilla
Este artículo examina el papel de los aditivos en lógicas semi-subestructurales.
― 9 minilectura
Examinando el papel de la igualdad proposicional en la teoría de tipos y sus implicaciones.
― 5 minilectura