top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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 03-XX - Mathematical logic and foundations [MSC 2020]
68-XX - Computer science [MSC 2020]
Soggetto non controllato Ordinals
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00255813
Buchi, J. Richard  
Berlin, : Springer, 1973
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A set theory workbook / Iain T. Adamson
A set theory workbook / Iain T. Adamson
Autore Adamson, Iain T.
Pubbl/distr/stampa Boston, : Birkhäuser, 1998
Descrizione fisica VIII, 154 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
Soggetto non controllato Arithmetics
Axiom of choice
Cardinals
Equivalence
Finite
Functions
Mathematics
Ordinals
Set Theory
Well-ordering principles
ISBN 978-08-17-64028-6
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051034
Adamson, Iain T.  
Boston, : Birkhäuser, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A set theory workbook / Iain T. Adamson
A set theory workbook / Iain T. Adamson
Autore Adamson, Iain T.
Pubbl/distr/stampa Boston, : Springer, : Birkhäuser, 1998
Descrizione fisica VIII, 154 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
Soggetto non controllato Arithmetics
Axiom of choice
Cardinals
Equivalence
Finite
Functions
Mathematics
Ordinals
Set Theory
Well-ordering principles
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00298044
Adamson, Iain T.  
Boston, : Springer, : Birkhäuser, 1998
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00055686
Henle, James M.  
New York, : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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 00A07 - Problem books [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00268847
Henle, James M.  
New York, : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00260538
Berlin, : Springer, 1978
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui