El Teorema de la Deducción para sistemas de Gentzen

• Autores: Jordi Rebagliato, Buenaventura Verdú i Solans
• Localización: Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993] / Eugenio de Bustos Tovar (dir. congr.), Javier Echeverría Ezponda (dir. congr.), Eulalia Pérez Sedeño (dir. congr.), María Isabel Sánchez Balmaseda (dir. congr.), 1997, ISBN 84-604-8342-8, págs. 118-121
• Idioma: español
• Texto completo no disponible (Saber más ...)