Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.]
| Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
| Descrizione fisica | xv, 327 p. : ill. ; 24 cm |
| Soggetto non controllato |
Abstract Model Theory
Abstract algebraic logic Amalgamation Category-Theoretic Properties of Classes of Algebras Cylindric Algebra Definability Theory Duality Theories Finite Variable Fragment of First Order Logic First Order Logic With Nonstandard Semantics First-order logic Interpolation Logic Relation Algebra Sentential Logics Substitution Properties Surjectivity of Epimorphisms Tarskian Algebraic Logic Universal algebra Weak Beth Definability Property institutions |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0276764 |
| Cham, : Birkhäuser, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.]
| Universal Algebraic Logic : Dedicated to the Unity of Science / Hajnal Andréka ... [et al.] |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2022 |
| Descrizione fisica | xv, 327 p. : ill. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Abstract Model Theory
Abstract algebraic logic Amalgamation Category-Theoretic Properties of Classes of Algebras Cylindric Algebra Definability Theory Duality Theories Finite Variable Fragment of First Order Logic First Order Logic With Nonstandard Semantics First-order logic Interpolation Logic Relation Algebra Sentential Logics Substitution Properties Surjectivity of Epimorphisms Tarskian Algebraic Logic Universal algebra Weak Beth Definability Property institutions |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00276764 |
| Cham, : Birkhäuser, : Springer, 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||