Semántica funcional para lógicas temporales X modales. Definibilidad y Teoremas de completitud

Aquesta tesi apareix a les col·leccions següents