Buscar Volver arriba Filtrar resultadosUbicaciónHumanidades (1)ClasificaciónTipo de artículoCategoríaGuíaTemaN/AN/AAuthorRebecca Laff & Wendy RuizParis, Ricardo, Raymond, & JohnsonJennifer Paris, Kristin Beeve, & Clint SpringerKrischa Esquivel, Emily Elam, Jennifer Paris, & Maricela TafoyaIrma Isabel González CuadrosJoaquín López HerraizMaría M. Reynoso, Carina E. Magnoli, Germán G. Barros y Mirta S. DemoGlencora BorradaileShow TOCyesnoCover PageyesTOC OnlyCompile but don't publishLicensePublic DomainCC BYCC BY-SACC BY-NC-SACC BY-NDCC BY-NC-NDGNU GPLAll Rights ReservedCC BY-NCGNU FDLTranscludedAutonumber Section Headingstitle with space delimiterstitle with colon delimiterstitle with dash delimitersLicense Version1.01.32.02.53.04.0Incluir datos adjuntosTipo de contenidoDocumentoImagenOtro Buscando enTodos los resultadosAcerca de 1 resultadosC.3: Gerhard Gentzenhttps://espanol.libretexts.org/Humanidades/Filosofia/Conjuntos_Logica_Computacion_(Zach)/zz%3A_Volver_Materia/23%3A_Biograf%C3%ADas/1.03%3A_Gerhard_GentzenGerhard Gentzen es conocido principalmente como el creador de la teoría de la prueba estructural, y específicamente la creación de los sistemas de prueba de deducción natural y cálculo secuente.Mostrar más resultados
