Un estudio algebráico de las lógicas temporales

Aquesta tesi apareix a les col·leccions següents