Tesis doctoral

  1. Un estudio algebraico de las lógicas temporales 1994

    Universidad de Granada