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.
Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue
| Logic Symposia, Hakone1979, 1980 : Proceedings of Conferences Held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, T. Tugue |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | xiv, 398 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Finite Logic Mathematical logic Proofs Set Theory Transfinite induction |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261824 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logic Year 1979-80 : The University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, R.I. Soare
| Logic Year 1979-80 : The University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, R.I. Soare |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 330 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Computability theory Logic Mathematical logic Morphism Recursion |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261825 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Math at the Game
| Math at the Game |
| Autore | Powell Elizabeth |
| Pubbl/distr/stampa | Gareth Stevens Publishing LLLP |
| Descrizione fisica | 1 online resource (24 p.) : ill |
| Disciplina | 513 |
| Soggetto non controllato |
Arithmetic
Soccer Juvenile Nonfiction |
| ISBN | 1-4824-5485-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910149542503321 |
Powell Elizabeth
|
||
| Gareth Stevens Publishing LLLP | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis / A. S. Troelstra editor
| Metamathematical Investigation of Intuitionistic Arithmetic and Analysis / A. S. Troelstra editor |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | xvii, 485 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Fxx - Proof theory and constructive mathematics [MSC 2020] 03F55 - Intuitionistic mathematics [MSC 2020] 03B55 - Intermediate logics [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Calculus Functions Mathematics Ordinals Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255850 |
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80 / edité par C. Berline, K. McAloon et J.-P. Ressayre
| Model Theory and Arithmetic : Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80 / edité par C. Berline, K. McAloon et J.-P. Ressayre |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | vi, 306 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Finite Models Multiplication Ordinals Peano's arithmetic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione |
eng
fre |
| Record Nr. | UNICAMPANIA-VAN0261835 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
| Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | vi, 410 p. ; 24 cm |
| Soggetto topico | 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetic Differential equations Minimum Model theory |
| ISBN | 978-35-401-0269-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0132263 |
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie
| Model theory of algebra and arithmetic : Proceedings of the Conference on Applications of Logic to Algebra and Arithmetic Held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski, and A. J. Wilkie |
| Pubbl/distr/stampa | Berlin, : Springer, 1980 |
| Descrizione fisica | vi, 410 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Cxx - Model theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Arithmetic Differential equations Minimum Model theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261630 |
| Berlin, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modular Units / Daniel S. Kubert, Serge Lang
| Modular Units / Daniel S. Kubert, Serge Lang |
| Autore | Kubert, Daniel S. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1981 |
| Descrizione fisica | xiv, 360 p. : ill. ; 24 cm |
| Altri autori (Persone) | Lang, Serge <1927-2005> |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
14-XX - Algebraic geometry [MSC 2020] 14G25 - Global ground fields [MSC 2020] 11F11 - Holomorphic modular forms of integral weight [MSC 2020] 11R18 - Cyclotomic extensions [MSC 2020] 11G16 - Elliptic and modular units [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Divisor class group Finite Functions Logarithms Modular curves Modular forms Module functions Unit |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268403 |
|
Kubert, Daniel S.
|
||
| New York, : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Multiplicative Number Theory / Harold Davenport
| Multiplicative Number Theory / Harold Davenport |
| Autore | Davenport, Harold |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1980 |
| Descrizione fisica | xiii, 177 p. : ill. ; 24 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11Nxx - Multiplicative number theory [MSC 2020] 11N35 - Sieves [MSC 2020] 11Mxx - Zeta and L-functions: analitic theory [MSC 2020] 11Lxx - Exponential sums and character sums [MSC 2020] 11P32 - Goldbach-type theorems; other additive questions involving primes [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Boundary Element Methods Multiplicative number theory Number theory Prime Prime numbers Proofs Sieve Time |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268351 |
|
Davenport, Harold
|
||
| New York, : Springer, 1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Naive set theory / Paul R. Halmos
| Naive set theory / Paul R. Halmos |
| Autore | Halmos, Paul R. |
| Pubbl/distr/stampa | New York, : Springer, 1974 |
| Descrizione fisica | VII, 104 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] |
| Soggetto non controllato |
Addition
Arithmetic Cardinal numbers Countable set Lemma Peano axioms Set Theory |
| ISBN |
03-87900-92-6
978-03-87900-92-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0024946 |
|
Halmos, Paul R.
|
||
| New York, : Springer, 1974 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
