Algebraic modeltheory for languages without equality.
Tesis doctoral de Raimon Elgueta Monto Datos académicos de la tesis doctoral «Algebraic modeltheory for languages without equality.« Título […]
Tesis doctoral de Rafael Farre cirera
Información academica Rafael Farre cirera. Tesis donde Rafael Farre cirera ha sido autor, director o parte del tribunal.
Extensiones de fragmentos de la aritmética
Tesis doctoral de Andres Cordón Franco El presente trabajo se enmarca dentro del campo de estudio de los modelos de
On the complexity of propositional proof systems
Tesis doctoral de Nicola Galesi Datos académicos de la tesis doctoral «On the complexity of propositional proof systems« Título
Contributions to the model theory of equality-free logic.
Tesis doctoral de Pilar Dellunde Clave La tesis doctoral «contributions to the model theory of equality-free logic» es un estudio
Model theory for valued and ordered fields and applications.
Tesis doctoral de Rafael Farre Cirera La tesis se divide en cinco capitulos mas uno de preliminares algebraicos. En el