La demostrabilidad en laLa demostrabilidad en lalógica intuicionistaprueba y sus aplicaciones.Explorando conceptos avanzados deLógica en InformáticaEntendiendo la lógica intuicionista de Gödel-LöbUna mirada a la demostrabilidad y técnicas de prueba en sistemas lógicos.2025-09-17T07:10:48+00:00 ― 6 minilectura