Deducción natural en lógica modal : una implementación en Coq

Detalles Bibliográficos
Autor principal:	Linares Arévalo, Pilar Selene
Otras Contribuciones:	Aliseda, Atocha (Asesor), Miranda Perea, Favio Ezequiel (Asesor)
Formato:	Tesis de maestría
Publicado:	MX 2015
Materias:	Ciencias Físico - Matemáticas y de las Ingenierías
Acceso en línea:	https://hdl.handle.net/20.500.14330/TES01000729091 http://132.248.9.195/ptd2015/mayo/0729091/Index.html

Ejemplares similares