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
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