Sistema formal MIU – Teorema MU

Desarrollamos una aplicación en VBA para Access con el objeto de intentar comprobar que existe el teorema MU con una profundidad de 19 niveles y resultado negativo.