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)
Algebraic logic / by Paul R. Halmos
Algebraic logic / by Paul R. Halmos
Autore Halmos, Paul R.
Pubbl/distr/stampa New York, : Chelsea, 1962
Descrizione fisica 271 p. ; 24 cm.
Soggetto topico 03Gxx - Algebraic logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052073
Halmos, Paul R.  
New York, : Chelsea, 1962
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic logic / by Paul R. Halmos
Algebraic logic / by Paul R. Halmos
Autore Halmos, Paul R.
Pubbl/distr/stampa New York, : Chelsea, 1962
Descrizione fisica 271 p. ; 24 cm
Soggetto topico 03Gxx - Algebraic logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0052073
Halmos, Paul R.  
New York, : Chelsea, 1962
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
Edizione [Cham : Birkhäuser 2018]
Pubbl/distr/stampa xvi, 733 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
06Axx - Ordered sets [MSC 2020]
08Cxx - Other classes of algebras [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020]
06Fxx - Ordered structures [MSC 2020]
18Bxx - Special categories [MSC 2020]
94Dxx - Miscellaneous topics in information and communication theory [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0124549
xvi, 733 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
Algebraic Methods in General Rough Sets / A. Mani, Gianpiero Cattaneo, Ivo Düntsch editors
Pubbl/distr/stampa Cham, : Birkhäuser 2018
Descrizione fisica xvi, 733 p. : ill. ; 24 cm
Soggetto topico 03Exx - Set theory [MSC 2020]
08Axx - Algebraic structures [MSC 2020]
03G25 - Other algebras related to logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
06Axx - Ordered sets [MSC 2020]
08Cxx - Other classes of algebras [MSC 2020]
03B42 - Logics of knowledge and belief (including belief change) [MSC 2020]
03B52 - Fuzzy logic; logic of vagueness [MSC 2020]
06Fxx - Ordered structures [MSC 2020]
18Bxx - Special categories [MSC 2020]
94Dxx - Miscellaneous topics in information and communication theory [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0124549
Cham, : Birkhäuser 2018
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Duality theories for boolean algebras with operators / Steven Givant
Duality theories for boolean algebras with operators / Steven Givant
Autore Givant, Steven R.
Pubbl/distr/stampa Cham, : Springer, 2014
Descrizione fisica XIV, 233 p. ; 24 cm
Soggetto topico 18-XX - Category theory; homological algebra [MSC 2020]
03Bxx - General logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020]
Soggetto non controllato Algebraic duality
Boolean algebra
Hybrid duality
Relational Structure
Topological duality
Weak compactifications
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0103469
Givant, Steven R.  
Cham, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Duality theories for boolean algebras with operators / Steven Givant
Duality theories for boolean algebras with operators / Steven Givant
Autore Givant, Steven R.
Edizione [Cham : Springer, 2014]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 18-XX - Category theory; homological algebra [MSC 2020]
03Bxx - General logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020]
ISBN 8-3-319-06742-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103469
Givant, Steven R.  
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Matematica discreta / Seymour Lipschutz
Matematica discreta / Seymour Lipschutz
Autore Lipschutz, Seymour
Pubbl/distr/stampa Milano, : ETAS, 1985
Descrizione fisica 248 p. : ill. ; 27 cm
Soggetto topico 05-XX - Combinatorics [MSC 2020]
05Cxx - Graph theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0030110
Lipschutz, Seymour  
Milano, : ETAS, 1985
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Matematica discreta / Seymour Lipschutz
Matematica discreta / Seymour Lipschutz
Autore Lipschutz, Seymour
Edizione [Milano : ETAS, 1985]
Pubbl/distr/stampa 248 p., : ill. ; 27 cm
Descrizione fisica In cop.: 460 problemi risolti.
Soggetto topico 05-XX - Combinatorics [MSC 2020]
05Cxx - Graph theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0030110
Lipschutz, Seymour  
248 p., : ill. ; 27 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 . Part 1 / edited by G. H. Müller, M. M. Richter
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983 . Part 1 / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
ISBN 978-35-401-3900-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-SUN0123305
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Models and sets : proceedings of the Logic colloquium held in Aachen, July 18-23, 1983. Part 1 / edited by G. H. Müller, M. M. Richter
Pubbl/distr/stampa Berlin, : Springer, 1984
Descrizione fisica VIII, 484 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Gxx - Algebraic logic [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Calculus
Cantor
Commutative property
Finite
Functions
Geometry
Model
Model theory
Morphism
Ordinals
Proofs
ISBN 978-35-401-3900-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ger
eng
Record Nr. UNICAMPANIA-VAN0123305
Berlin, : Springer, 1984
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui