Semántica funcional para lógicas temporales x modales. definibilidad y teoremas de completitud

Tesis doctoral de Muñoz Velasco Emilio José Este trabajo está enmarcado en un área de conocimiento teórico, concretamente en el […]

, , , , ,