Sistemas de Gentzen albebrizables para las lógicas de Lambek, Girard, relevancia y BCK

• Autores: Román Adillón, 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] / Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (aut.), 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. 2-5
• Idioma: español
• Texto completo no disponible (Saber más ...)