El problema de la decisión en lógica de predicados

Autor: Jesus Mosterin Categoría: Editor: Alianza Fecha: 2016 Ver