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.
Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
| Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 779 p. : ill. ; 24 cm |
| Soggetto topico |
18B25 - Topoi [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 55N30 - Sheaf cohomology in algebraic topology [MSC 2020] 14Fxx - (Co)homology theory in algebraic geometry [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Calculus Finite Geometry Identity Manifolds Proofs |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261093 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott
| Applications of Sheaves : Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra and Analysis, Durham, July 9-21, 1977 / edited by M. P. Fourman, C. J. Mulvey and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1979 |
| Descrizione fisica | xiv, 779 p. : ill. ; 24 cm |
| Soggetto topico |
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 03G30 - Categorical logic, topoi [MSC 2020] 14Fxx - (Co)homology theory in algebraic geometry [MSC 2020] 18B25 - Topoi [MSC 2020] 18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020] 55N30 - Sheaf cohomology in algebraic topology [MSC 2020] |
| Soggetto non controllato |
Algebra
Applications Calculus Finite Geometry Identity Manifolds Proofs |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261093 |
| Berlin, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Boolean Constructions in Universal Algebras / by A. G. Pinus
| Boolean Constructions in Universal Algebras / by A. G. Pinus |
| Autore | Pinus, Aleksandr G. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1993 |
| Descrizione fisica | vii, 350 p. : ill. ; 24 cm |
| Soggetto topico |
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]
06Exx - Boolean algebras (Boolean rings) [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 08B10 - Congruence modularity, congruence distributivity [MSC 2020] |
| Soggetto non controllato |
Algebra
Boolean algebra Boundary Element Methods Congruence Constructions Cybernetics Invariants Logic Mathematics Minimum Morphism |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00291014 |
Pinus, Aleksandr G.
|
||
| Dordrecht, : Springer, : Kluwer, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm. |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 12Lxx - Connections between field theory and logic [MSC 2020] |
| ISBN | 978-35-400-9732-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0094210 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03D35 - Undecidability and degrees of sets of sentences [MSC 2020]
03B60 - Other nonclassical logic [MSC 2020] 03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 12Lxx - Connections between field theory and logic [MSC 2020] |
| Soggetto non controllato |
Model
Model theory Topological spaces |
| ISBN | 978-35-400-9732-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0094210 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Topological model theory / Jorg Flum, Martin Ziegler
| Topological model theory / Jorg Flum, Martin Ziegler |
| Autore | Flum, Jörg |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | X, 149 p. ; 24 cm |
| Altri autori (Persone) | Ziegler, Martin |
| Soggetto topico |
03B60 - Other nonclassical logic [MSC 2020]
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 12Lxx - Connections between field theory and logic [MSC 2020] |
| Soggetto non controllato |
Model
Model theory Topological spaces |
| ISBN | 978-35-400-9732-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00094210 |
|
Flum, Jörg
|
||
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03C90 - Nonclassical models (Boolean-valued, sheaf, etc.) [MSC 2020]
(6)
- 03B60 - Other nonclassical logic [MSC 2020] (3)
- 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] (3)
- 12Lxx - Connections between field theory and logic [MSC 2020] (3)
- 00Bxx - Conference proceedings and collections of articles [MSC 2020] (2)