Tableaux for a combination of first-order classical and intuitionistic logic

• Autores: Luis Fariñas del Cerro , Agustín Valverde Ramos
• Localización: Festschrift for Andreas Herzig on the occasion of his 65th birthday: essays in honor of Andi / Guillaume Aucher (ed. lit.), Jérôme Lang (ed. lit.), Tíago de Lima (ed. lit.), Emiliano Lorini (ed. lit.), 2025, ISBN 978-1-84890-499-6, págs. 387-402
• Idioma: inglés
• Texto completo no disponible (Saber más ...)