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)
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm.
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems / René Cori and Daniel Lascar ; translated by Donald H. Pelletier
Autore Cori, René
Pubbl/distr/stampa Oxford, : Oxford University, 2000
Descrizione fisica XIX, 338 p. : ill. ; 24 cm
Altri autori (Persone) Lascar, Daniel
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03B10 - Classical first-order logic [MSC 2020]
ISBN 978-01-985004-8-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0021138
Cori, René  
Oxford, : Oxford University, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Autore Mendelson, Elliott
Edizione [2. ed]
Pubbl/distr/stampa Milano, : ETAS, c1977
Descrizione fisica 213 p. : ill. ; 27 cm
Soggetto topico 03G05 - Logical aspects of Boolean algebras [MSC 2020]
ISBN 978-88-453-0155-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNICAMPANIA-SUN0037172
Mendelson, Elliott  
Milano, : ETAS, c1977
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Autore Mendelson, Elliott
Edizione [2. ed]
Pubbl/distr/stampa Milano, : ETAS, c1977
Descrizione fisica 213 p. : ill. ; 27 cm
Soggetto topico 03G05 - Logical aspects of Boolean algebras [MSC 2020]
ISBN 978-88-453-0155-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNISOB-VAN0037172
Mendelson, Elliott  
Milano, : ETAS, c1977
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Algebra di Boole e circuiti di commutazione / Elliott Mendelson
Autore Mendelson, Elliott
Edizione [2. ed]
Pubbl/distr/stampa Milano, : ETAS, 1977
Descrizione fisica 213 p. : ill. ; 27 cm
Soggetto topico 03G05 - Logical aspects of Boolean algebras [MSC 2020]
ISBN 978-88-453-0155-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0037172
Mendelson, Elliott  
Milano, : ETAS, 1977
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cardinal invariants on boolean algebras / J. Donald Monk
Cardinal invariants on boolean algebras / J. Donald Monk
Autore Monk, James D.
Edizione [2. rev. ed]
Pubbl/distr/stampa Basel, : Birkhäuser, : Springer, 2014
Descrizione fisica VII, 573 p. : ill. ; 24 cm
Soggetto topico 03Exx - Set theory [MSC 2020]
54A25 - Cardinality properties (cardinal functions and inequalities, discrete subsets) [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03E10 - Ordinal and cardinal numbers [MSC 2020]
ISBN 8-3-0348-0729-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0103083
Monk, James D.  
Basel, : Birkhäuser, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cardinal invariants on boolean algebras / J. Donald Monk
Cardinal invariants on boolean algebras / J. Donald Monk
Autore Monk, James D.
Edizione [2. rev. ed]
Pubbl/distr/stampa Basel, : Birkhäuser, : Springer, 2014
Descrizione fisica VII, 573 p. : ill. ; 24 cm
Soggetto topico 03Exx - Set theory [MSC 2020]
54A25 - Cardinality properties (cardinal functions and inequalities, discrete subsets) [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
03E10 - Ordinal and cardinal numbers [MSC 2020]
Soggetto non controllato Boolean algebra
Cardinal functions
Cellularity
Independence
Reaping number
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0103083
Monk, James D.  
Basel, : Birkhäuser, : Springer, 2014
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cardinal invariants on boolean algebras / J. Donald Monk
Cardinal invariants on boolean algebras / J. Donald Monk
Autore Monk, James D.
Pubbl/distr/stampa Basel, : Birkhäuser, 1996
Descrizione fisica IX, 301 p. ; 24 cm.
Soggetto topico 03G05 - Logical aspects of Boolean algebras [MSC 2020]
03E10 - Ordinal and cardinal numbers [MSC 2020]
ISBN 37-643-5402-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053190
Monk, James D.  
Basel, : Birkhäuser, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Cardinal invariants on boolean algebras / J. Donald Monk
Cardinal invariants on boolean algebras / J. Donald Monk
Autore Monk, James D.
Pubbl/distr/stampa Basel, : Birkhäuser, 1996
Descrizione fisica IX, 301 p. ; 24 cm
Soggetto topico 03G05 - Logical aspects of Boolean algebras [MSC 2020]
03E10 - Ordinal and cardinal numbers [MSC 2020]
ISBN 37-643-5402-X
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053190
Monk, James D.  
Basel, : Birkhäuser, 1996
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Lectures on Boolean Algebras / Paul R. Halmos
Lectures on Boolean Algebras / Paul R. Halmos
Autore Halmos, Paul R.
Pubbl/distr/stampa New York, : Springer-Verlag, 1974
Descrizione fisica viii, 148 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
06E05 - Structure theory of Boolean algebras [MSC 2020]
03G05 - Logical aspects of Boolean algebras [MSC 2020]
Soggetto non controllato Algebra
Boolean algebra
Boundary Element Methods
Duality
Factor
Finite
Homomorphism
Measure
Morphism
Presentation
Sets
Volume
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0267792
Halmos, Paul R.  
New York, : Springer-Verlag, 1974
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui