header
Hill, Shirley

Introducción a la lógica matemática - NULL Reverté - Buenos Aires 1992


INFORMATICA LOGICA MATEMATICA PROPOSICIONES INFERENCIA LOGICA CERTEZA VALIDEZ TERMINOS PREDICADOS CUANTIFICADORES LEYES AXIOMAS