10.13140/RG.2.2.34804.99207
Clara Smith
Explicación para alumnos de Informática (audio in Spanish). Nº 18: Lenguaje del cálculo de predicados: variables, constantes, símbolos de predicados. Cuantificador universal y cuantificador existencial: dualidad. Sobre el texto original de A. G. Hamilton.
Unpublished
2020
Presentation
ca