Cuadernillo-4.-Formalizacion-en-calculo-de-predicados.pdf