Lógica matemática

En Lógica matemática, a partir de la especificación de las características de los «lenguajes de primer orden» y de la definición de las nociones de «modelo» y «consecuencia» para las expresiones de esos lenguajes, se exponen de ...(ver ficha)