2: Advanced Topics in Relation Algebras / Steven Givant
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Givant, Steven R.
|
| Titolo: |
2: Advanced Topics in Relation Algebras / Steven Givant
|
| Pubblicazione: | Cham, : Springer, 2017 |
| Titolo uniforme: | Relation Algebras. 2, Advanced Topics in Relation Algebras |
| Descrizione fisica: | XIX, 605 p. : ill. ; 24 cm |
| Soggetto topico: | 03Cxx - Model theory [MSC 2020] |
| 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] | |
| 03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020] | |
| 03B35 - Mechanization of proofs and logical operations [MSC 2020] | |
| Soggetto non controllato: | Atom structures |
| Canonical extensions | |
| Completion extensions | |
| Relation algebras | |
| Representations | |
| Varieties of relation algebras | |
| Titolo autorizzato: | Relation Algebras. 2, Advanced Topics in Relation Algebras |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0123808 |
| Lo trovi qui: | Univ. Vanvitelli |
| Localizzazioni e accesso elettronico | http://doi.org/10.1007/978-3-319-65945-9 |
| Opac: | Controlla la disponibilità qui |
Fa parte di:
Relation Algebras / Steven Givant Cham . -Springer , 2017 voll. . -ill. , 24 cm ; 2