top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Pubbl/distr/stampa Berlin, : Springer, 1981
Descrizione fisica vi, 323 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
03C55 - Set-theoretic model theory [MSC 2020]
Soggetto non controllato Algebra
Cylindrical Algebra
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0261800
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Cylindric Set Algebras : Cylindric set algebras and related structures / By L. Henkin, J. D. Monk, and A. Tarski . On cylindric-relativized set algebras / By H. Andreka and I. Nemeti
Pubbl/distr/stampa Berlin, : Springer, 1981
Descrizione fisica vi, 323 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C55 - Set-theoretic model theory [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
Soggetto non controllato Algebra
Cylindrical Algebra
Set
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00261800
Berlin, : Springer, 1981
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Autore Andréka, Hajnal
Pubbl/distr/stampa Providence, R. I., : American Mathematical Society, 1997
Descrizione fisica XIV, 126 p. : ill. ; 26 cm.
Altri autori (Persone) Givant, Steven R.
Nemeti, Istvan
Soggetto topico 03B05 - Classical propositional logic [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08B15 - Lattices of varieties [MSC 2020]
ISBN 978-08-218-0595-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051578
Andréka, Hajnal  
Providence, R. I., : American Mathematical Society, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Autore Andréka, Hajnal
Pubbl/distr/stampa Providence, R. I., : American Mathematical Society, 1997
Descrizione fisica XIV, 126 p. : ill. ; 26 cm
Altri autori (Persone) Givant, Steven R.
Nemeti, Istvan
Soggetto topico 03B05 - Classical propositional logic [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08B15 - Lattices of varieties [MSC 2020]
ISBN 978-08-218-0595-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051578
Andréka, Hajnal  
Providence, R. I., : American Mathematical Society, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Decision problems for equational theories of relation algebras / Hajnal Andreka, Steven Givant, Istvan Nemeti
Autore Andréka, Hajnal
Pubbl/distr/stampa Providence, R. I., : American Mathematical Society, 1997
Descrizione fisica XIV, 126 p. : ill. ; 26 cm
Altri autori (Persone) Givant, Steven R.
Nemeti, Istvan
Soggetto topico 03B05 - Classical propositional logic [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08B15 - Lattices of varieties [MSC 2020]
ISBN 978-08-218-0595-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051578
Andréka, Hajnal  
Providence, R. I., : American Mathematical Society, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Autore Givant, Steven R.
Pubbl/distr/stampa Cham, : Springer, 2017
Descrizione fisica xxiv, 622 p. : ill. ; 24 cm
Altri autori (Persone) Andréka, Hajnal
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08A30 - Subalgebras, congruence relations [MSC 2020]
Soggetto non controllato Insertion semiproducts
Quotient algebras
Quotient semiproducts
Relation algebras
Semipowers
Semiproducts
Simple closures
Simple relation algebras
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124328
Givant, Steven R.  
Cham, : Springer, 2017
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Autore Givant, Steven R.
Pubbl/distr/stampa Cham, : Springer, 2017
Descrizione fisica xxiv, 622 p. : ill. ; 24 cm
Altri autori (Persone) Andréka, Hajnal
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08A30 - Subalgebras, congruence relations [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
Soggetto non controllato Insertion semiproducts
Quotient algebras
Quotient semiproducts
Relation algebras
Semipowers
Semiproducts
Simple closures
Simple relation algebras
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00124328
Givant, Steven R.  
Cham, : Springer, 2017
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Simple Relation Algebras / Steven Givant, Hajnal Andréka
Autore Givant, Steven R.
Edizione [Cham : Springer, 2017]
Pubbl/distr/stampa xxiv, 622 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Andréka, Hajnal
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
03G15 - Cylindric and polyadic algebras; relation algebras [MSC 2020]
08A30 - Subalgebras, congruence relations [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124328
Givant, Steven R.  
xxiv, 622 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Interpolations
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
Opac: Controlla la disponibilità qui