Institution-independent Model Theory
A model theory that is independent of any concrete logical system allows a general handling of a large variety of logics. This generality can be achieved by applying the theory of institutions that provides a precise general mathematical formulation for the intuitive concept of a logical system. Esp...
Guardat en:
| Autor principal: | |
|---|---|
| Autor corporatiu: | |
| Format: | Electrònic eBook |
| Idioma: | anglès |
| Publicat: |
Cham :
Springer Nature Switzerland : Imprint: Birkhäuser,
2025.
|
| Edició: | 2nd ed. 2025. |
| Col·lecció: | Studies in Universal Logic,
|
| Matèries: | |
| Accés en línia: | https://doi.org/10.1007/978-3-031-68854-6 |
| Etiquetes: |
Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
Sistema fora de servei per tasques de manteniment
El catàleg està fora de servei temporalment per tasques de manteniment
La informació de disponibilitat dels exemplars no està disponible en aquests moments, sentim les inconveniències: