Reflection in general logics and in rewriting logic with applications to the maude languaje.

Tesis doctoral de Manuel Garcia Clavel La reflexión, entendida como la capacidad de representar nuestras ideas y de hacerlas objetos […]

, , , , ,