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.
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
68-XX - Computer science [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03Bxx - General logic [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124569 |
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Pubbl/distr/stampa | Cham, : Springer, 2018 |
| Descrizione fisica | xii, 185 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 11Axx - Elementary number theory [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Soggetto non controllato |
Equivalence relations
Infinite cardinality Mathematical induction Order relation Proofs Propositional logic Relations Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124569 |
|
Mynard, Frédéric
|
||
| Cham, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to the Language of Mathematics / Frédéric Mynard
| An Introduction to the Language of Mathematics / Frédéric Mynard |
| Autore | Mynard, Frédéric |
| Edizione | [Cham : Springer, 2018] |
| Pubbl/distr/stampa | xii, 185 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Soggetto topico |
11Axx - Elementary number theory [MSC 2020]
03E25 - Axiom of choice and related propositions [MSC 2020] 06A06 - Partial order, general [MSC 2020] 11A51 - Factorization; primality [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] 03Bxx - General logic [MSC 2020] 03F07 - Structure of proofs [MSC 2020] 97Exx - Education of foundations of mathematics [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0124569 |
|
Mynard, Frédéric
|
||
| xii, 185 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applied Mathematics and Computational Intelligence : ICAMCI-2020, Tripura, India, December 23–24 / Oscar Castillo, Uttam Kumar Bera, Dipak Kumar Jana editors
| Applied Mathematics and Computational Intelligence : ICAMCI-2020, Tripura, India, December 23–24 / Oscar Castillo, Uttam Kumar Bera, Dipak Kumar Jana editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2023 |
| Descrizione fisica | xxii, 242 p. : ill. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
03E72 - Theory of fuzzy sets, etc. [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 35R60 - PDEs with randomness, stochastic partial differential equations [MSC 2020] 47N40 - Applications of operator theory in numerical analysis [MSC 2020] 80Axx - Thermodynamics and heat transfer [MSC 2020] 93C62 - Digital control/observation systems [MSC 2020] 97C30 - Cognitive processes, learning theories (aspects of mathematics education) [MSC 2020] |
| Soggetto non controllato |
Block chain
Computational Intelligence Computational mathematics Creak analysis Fuzzy type-3 Intuitionistic fuzzy system Soft Computing Supply chain |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279172 |
| Singapore, : Springer, 2023 | ||
| 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 |
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 | ||
| ||
