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.
Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton
| Mathematical Logic : An Introduction to Model Theory / A. H. Lightstone ; edited by H. B. Enderton |
| Autore | Lightstone, Albert H. |
| Pubbl/distr/stampa | New York, : Plenum, 1978 |
| Descrizione fisica | xiii, 338 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03H05 - Nonstandard models in mathematics [MSC 2020] 03B05 - Classical propositional logic [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03C35 - Categoricity and completeness of theories [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Calculus
Forms Language Logic Mathematica Mathematical logic Natural Proofs Proposition Set Theory Variables |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268201 |
Lightstone, Albert H.
|
||
| New York, : Plenum, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Statistics / B. L. van der Waerden
| Mathematical Statistics / B. L. van der Waerden |
| Autore | Waerden, Bartel L. van der |
| Pubbl/distr/stampa | Berlin, : Springer, 1969 |
| Descrizione fisica | xi, 371 p. ; 24 cm |
| Soggetto topico | 62-XX - Statistics [MSC 2020] |
| Soggetto non controllato |
Correlation
Mathematica Mathematical statistics Natural Presentation Proofs Rang Standard deviation Statistics eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0254786 |
|
Waerden, Bartel L. van der
|
||
| Berlin, : Springer, 1969 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Natural Function Algebras / Charles E. Rickart
| Natural Function Algebras / Charles E. Rickart |
| Autore | Rickart, Charles E. |
| Pubbl/distr/stampa | New York, : Springer, 1979 |
| Descrizione fisica | xiv, 240 p. : ill. ; 24 cm |
| Soggetto topico |
46J10 - Banach algebras of continuous functions, function algebras [MSC 2020]
46G20 - Infinite-dimensional holomorphy [MSC 2020] |
| Soggetto non controllato |
Algebra
Boundary Element Methods Function algebra Functions Integrals Lemma Maximum principle Natural Polynomials Sets Topology Vector spaces eXist |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268286 |
|
Rickart, Charles E.
|
||
| New York, : Springer, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Network Models and Associated Applications / edited by D. Klingman, J. M. Mulvey
| Network Models and Associated Applications / edited by D. Klingman, J. M. Mulvey |
| Pubbl/distr/stampa | Amsterdam, : North-Holland, 1981 |
| Descrizione fisica | 176 p. ; 24 cm |
| Soggetto topico |
00B60 - Collections of reprinted articles [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Algorithms
Distribution Linear optimization Management Natural Networks Operator theory Operators Programming Scheduling embedded technology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261838 |
| Amsterdam, : North-Holland, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Recent Developments in the Algebraic, Analytical, and Topological Theory of Semigroups : Proceedings of a Conference held at Oberwolfach, Germany, May 24-30, 1981 / edited by K. H. Hofmann, H. Jürgensen and H. J. Weinert
| Recent Developments in the Algebraic, Analytical, and Topological Theory of Semigroups : Proceedings of a Conference held at Oberwolfach, Germany, May 24-30, 1981 / edited by K. H. Hofmann, H. Jürgensen and H. J. Weinert |
| Pubbl/distr/stampa | Berlin, : Springer, 1983 |
| Descrizione fisica | viii, 492 p. ; 24 cm |
| Soggetto topico |
20-XX - Group theory and generalizations [MSC 2020]
22-XX - Topological groups, Lie groups [MSC 2020] 00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Algebra
Boundary Element Methods Character Division Language Lattice Measure Morphism Natural Objects Semigroups Shapes Topology |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263043 |
| Berlin, : Springer, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Tame Representations of Local Weil Groups and of Chain Groups of Local Principal Orders / Albrecht Fröhlich
| Tame Representations of Local Weil Groups and of Chain Groups of Local Principal Orders / Albrecht Fröhlich |
| Autore | Frohlich, Albrecht |
| Pubbl/distr/stampa | Berlin, : Springer, 1986 |
| Descrizione fisica | 100 p. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
20Gxx - Linear algebraic groups and related topics [MSC 2020] 20G40 - Linear algebraic groups over finite fields [MSC 2020] 16H05 - Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) [MSC 2020] 11S45 - Algebras and orders, and their zeta functions [MSC 2020] 11S37 - Langlands-Weil conjectures, nonabelian class field theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Area Canon Forms Natural Presentation Similarity kernels |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264038 |
|
Frohlich, Albrecht
|
||
| Berlin, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
