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.
Vol. 1: Introduction to Relation Algebras / Steven Givant
| Vol. 1: Introduction to Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxii, 572 p. : ill. ; 24 cm |
| Soggetto topico |
03C05 - Equational classes, universal algebra in 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 |
Alfred Tarski relation algebras
Arithmetic of relation algebras Constructing new relation algebras Elementary theory of binary relations Equational language of relation algebras Homomorphisms Relation algebras Relativizations of relation algebras Special elements in relation algebras Steven Givant relation algebras Subalgebras of relation algebras |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0123441 |
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Vol. 1: Introduction to Relation Algebras / Steven Givant
| Vol. 1: Introduction to Relation Algebras / Steven Givant |
| Autore | Givant, Steven R. |
| Pubbl/distr/stampa | Cham, : Springer, 2017 |
| Descrizione fisica | xxxii, 572 p. : ill. ; 24 cm |
| Soggetto topico |
03B20 - Subsystems of classical logic (including intuitionistic logic) [MSC 2020]
03B35 - Mechanization of proofs and logical operations [MSC 2020] 03C05 - Equational classes, universal algebra in model theory [MSC 2020] 03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020] |
| Soggetto non controllato |
Alfred Tarski relation algebras
Arithmetic of relation algebras Constructing new relation algebras Elementary theory of binary relations Equational language of relation algebras Homomorphisms Relation algebras Relativizations of relation algebras Special elements in relation algebras Steven Givant relation algebras Subalgebras of relation algebras |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00123441 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||