ICC 25427
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
The ecumenical viewpoint: classical and intuitionistic logic coexisting peacefully
Autor/es:
RICARDO O. RODRIGUEZ; LUIZ CARLOS PEREIRA
Lugar:
Puebla
Reunión:
Simposio; SLALM2017; 2017
Institución organizadora:
Beneméta Universidad Autónma de Puebla
Resumen:
The ecumenical viewpoint: classical and intuitionistic logic coexisting peacefully
