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.
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 | ||
| ||
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 |
03Bxx - General logic [MSC 2020]
03Gxx - Algebraic logic [MSC 2020] 06Exx - Boolean algebras (Boolean rings) [MSC 2020] 18-XX - Category theory; homological algebra [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-VAN00103469 |
|
Givant, Steven R.
|
||
| Cham, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Elements of logic via numbers and sets / D. L. Johnson
| Elements of logic via numbers and sets / D. L. Johnson |
| Autore | Johnson, David L. |
| Pubbl/distr/stampa | London, : Springer, 1998 |
| Descrizione fisica | X, 174 p. : ill. ; 24 cm. |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN |
35-407-6123-3
978-35-407-6123-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050937 |
|
Johnson, David L.
|
||
| London, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of logic via numbers and sets / D. L. Johnson
| Elements of logic via numbers and sets / D. L. Johnson |
| Autore | Johnson, David L. |
| Pubbl/distr/stampa | London, : Springer, 1998 |
| Descrizione fisica | X, 174 p. : ill. ; 24 cm |
| Soggetto topico |
03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN |
35-407-6123-3
978-35-407-6123-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050937 |
|
Johnson, David L.
|
||
| London, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of logic via numbers and sets / D. L. Johnson
| Elements of logic via numbers and sets / D. L. Johnson |
| Autore | Johnson, David L. |
| Pubbl/distr/stampa | London, : Springer, 1998 |
| Descrizione fisica | X, 174 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Addition
Arithmetics Cardinal numbers Countable sets Equivalence Mathematics Proofs Well-ordering principles |
| ISBN |
35-407-6123-3
978-35-407-6123-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00050937 |
|
Johnson, David L.
|
||
| London, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of logic via numbers and sets / D. L. Johnson
| Elements of logic via numbers and sets / D. L. Johnson |
| Autore | Johnson, David L. |
| Pubbl/distr/stampa | London, : Springer, 1998 |
| Descrizione fisica | X, 174 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Addition
Arithmetics Cardinal numbers Countable sets Equivalence Mathematics Proofs Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298351 |
|
Johnson, David L.
|
||
| London, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou
| Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
| Autore | Lewis, Harry R. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
| Descrizione fisica | XIII, 361 p. : ill. ; 24 cm. |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-327-2741-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0052081 |
|
Lewis, Harry R.
|
||
| Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou
| Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
| Autore | Lewis, Harry R. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
| Descrizione fisica | XIII, 361 p. : ill. ; 24 cm |
| Soggetto topico |
68Qxx - Theory of computing [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-327-2741-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0052081 |
|
Lewis, Harry R.
|
||
| Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou
| Elements of the theory of computation / Harry R. Lewis and Christos H. Papadimitriou |
| Autore | Lewis, Harry R. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | Upper Saddle River, N.J., : Prentice Hall International, 1998 |
| Descrizione fisica | XIII, 361 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020] |
| ISBN | 01-327-2741-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00052081 |
|
Lewis, Harry R.
|
||
| Upper Saddle River, N.J., : Prentice Hall International, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
