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: | XIX, 605 p., : ill. ; 24 cm |
| Edizione: | Cham : Springer, 2017 |
| Descrizione fisica: | Pubblicazione in formato elettronico |
| 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] | |
| Titolo autorizzato: | Advanced Topics in Relation Algebras |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | SUN0123808 |
| 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 ; 2 Cham . -Springer , 2017 voll. . -ill. , 24 cm.