Lenguaje apl e implicaciones en logica simbolica.

Tesis doctoral de Lorente Tallada Juan Manuel El trabajo consiste en la presentacion de un calculo que aritmetiza el metodo […]

, , , ,