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.
2.: The Monadic Second Order Theory of All Countable Ordinals / J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes
| 2.: The Monadic Second Order Theory of All Countable Ordinals / J. Richard Büchi, Dirk Siefkes ; edited by G. H. Müller, D. Siefkes |
| Autore | Buchi, J. Richard |
| Pubbl/distr/stampa | Berlin, : Springer, 1973 |
| Descrizione fisica | vi, 217 p. ; 24 cm |
| Altri autori (Persone) | Siefkes, Dirk |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Ordinals
order theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255813 |
Buchi, J. Richard
|
||
| Berlin, : Springer, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An outline of set theory / James M. Henle
| An outline of set theory / James M. Henle |
| Autore | Henle, James M. |
| Pubbl/distr/stampa | New York, : Springer, 1986 |
| Descrizione fisica | VIII, 145 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A07 - Problem books [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
| Soggetto non controllato |
Calculus
Cardinals Finite Mathematics Ordinals Set Theory |
| ISBN |
03-87963-68-5
978-03-87963-68-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0055686 |
|
Henle, James M.
|
||
| New York, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An outline of set theory / James M. Henle
| An outline of set theory / James M. Henle |
| Autore | Henle, James M. |
| Pubbl/distr/stampa | New York, : Springer, 1986 |
| Descrizione fisica | viii, 145 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A07 - Problem books [MSC 2020] 03E20 - Other classical set theory (including functions, relations, and set algebra) [MSC 2020] |
| Soggetto non controllato |
Calculus
Cardinals Finite Mathematics Ordinals Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268847 |
|
Henle, James M.
|
||
| New York, : Springer, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis
| Cabal Seminar 76–77 : Proceedings, Caltech-UCLA Logic Seminar 1976–77 / edited by Alexander S. Kechris and Yiannis N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | v, 287 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] |
| Soggetto non controllato |
Descriptive set theory
Functions Ordinals Recursion Recursive functions Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260538 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 77–79 : Proceedings, Caltech-UCLA Logic Seminar 1977–79 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis
| Cabal Seminar 77–79 : Proceedings, Caltech-UCLA Logic Seminar 1977–79 / edited by A. S. Kechris, D. A. Martin, Y. N. Moschovakis |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | v, 277 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 |
Cardinals
Descriptive set theory Games Logic Ordinals Partition Recursive functions Sets Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261769 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel
| Cabal Seminar 81-85 : Proceedings. Caltech-UCLA Logic Seminar 1981-85 / edited by Alexander S. Kechris, Donald A. Martin, John R. Steel |
| Pubbl/distr/stampa | Berlin, : Springer, 1988 |
| Descrizione fisica | v, 224 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 |
Boundary Element Methods
Coding Forms Functions Games Logic Ordinals Set Theory Sets Uniformization Volume |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0264378 |
| Berlin, : Springer, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges
| Conference in Mathematical Logic, London '70 / Edited by Wilfrid Hodges |
| Pubbl/distr/stampa | Berlin, : Springer, 1972 |
| Descrizione fisica | vi, 351 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
Calculus Finite Functions Identity Logic Mathematical logic Ordinals Set Theory Theorem |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255495 |
| Berlin, : Springer, 1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman
| Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by Fred Richman |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | x, 350 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Algebra
Calculation Constructive mathematics Finite Mathematics Ordinals Recursion Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261785 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott
| Higher Set Theory : Proceedings, Oberwolfach, Germany, April 13-23, 1977 / edited by G. H. Müller and D. S. Scott |
| Pubbl/distr/stampa | Berlin, : Springer, 1978 |
| Descrizione fisica | x, 110 p. : ill. ; 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
Functions Ordinals Proofs Recursion Well-ordering principles |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0260669 |
| Berlin, : Springer, 1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring
| Introduction to Axiomatic Set Theory / Gaisi Takeuti, Wilson M. Zaring |
| Autore | Takeuti, Gaisi |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer, 1982 |
| Descrizione fisica | x, 246 p. : ill. ; 24 cm |
| Altri autori (Persone) | Zaring, Wilson M. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03E25 - Axiom of choice and related propositions [MSC 2020] 03C62 - Models of arithmetic and set theory [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020] |
| Soggetto non controllato |
Arithmetic
Axiom of choice Functions Logic Ordinals Set Theory Sets |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268523 |
|
Takeuti, Gaisi
|
||
| New York, : Springer, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
