Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/10495/40617
Título : A Propositional Constructive Logic of Evidence
Autor : Agudelo Agudelo, Juan Carlos
metadata.dc.subject.*: Lógica
Logic
metadata.dc.contributor.corporatename: Latin American Symposium on Mathematical Logic (20 : del 1 al 5 de julio de 2024 : Facultad de Ingeniería de la Universidad de la República, Montevideo, Uruguay)
Fecha de publicación : 2-jul-2024
Aparece en las colecciones: Documentos de conferencias en Ciencias Exactas y Naturales

Ficheros en este ítem:
Fichero Descripción Tamaño Formato  
AgudeloJuan_2024_Propositional_Constructive_Logic.pdfDocumento de conferencia387.08 kBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons