Vai al contenuto principale della pagina

Vol. 1: Introduction to Relation Algebras / Steven Givant



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Givant, Steven R. Visualizza persona
Titolo: Vol. 1: Introduction to Relation Algebras / Steven Givant Visualizza cluster
Pubblicazione: Cham, : Springer, 2017
Titolo uniforme: Relation Algebras. 1, Introduction to Relation Algebras  
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
Titolo autorizzato: Relation Algebras. 1, Introduction to Relation Algebras  Visualizza cluster
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00123441
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico http://doi.org/10.1007/978-3-319-65235-1
Opac: Controlla la disponibilità qui
Fa parte di: Relation Algebras / Steven Givant Cham . -Springer , 2017 voll. . -ill. , 24 cm ; 1