Iris van der Giessen

Una mirada a la demostrabilidad y técnicas de prueba en sistemas lógicos.

Este artículo habla sobre un nuevo cálculo secuencial para la lógica intuicionista fuerte L.