Tesis doctoral

  1. Lógica unidad y deducibilidad en sistemas 1987

    Universidad de Granada