Contribucions a la teoria de models de la lògica sense identitat 

Dellunde i Clavé, Pilar (Date of defense: 1996-01-01)

La tesis doctoral es un estudio de la teoria de modelos de la lógica sin identidad. Se estudia el fragmento de la lógica de primer orden compuesto por las fórmulas que no tienen el símbolo de identidad. Los conceptos ...