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
Combinatorial theory / Martin Aigner
Combinatorial theory / Martin Aigner
Autore Aigner, Martin
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica VIII, 483 p. : ill. ; 24 cm
Soggetto topico 05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
Soggetto non controllato Algebra
Calculus
Combinatorics
Counting
Discrete mathematics
Duality
Finite
Functions
Lattice
Mapping
Mathematics
Permutation
Recursion
order theory
ISBN 978-35-406-1787-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051184
Aigner, Martin  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Combinatorial theory / Martin Aigner
Combinatorial theory / Martin Aigner
Autore Aigner, Martin
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica VIII, 483 p. : ill. ; 24 cm
Soggetto topico 05-XX - Combinatorics [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020]
Soggetto non controllato Algebra
Calculus
Combinatorics
Counting
Discrete mathematics
Duality
Finite
Functions
Lattice
Mapping
Mathematics
Permutation
Recursion
order theory
ISBN 978-35-406-1787-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00051184
Aigner, Martin  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Combinatorial theory / Martin Aigner
Combinatorial theory / Martin Aigner
Autore Aigner, Martin
Pubbl/distr/stampa Berlin, : Springer, 1979
Descrizione fisica VIII, 483 p. : ill. ; 24 cm
Soggetto topico 05-XX - Combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020]
05A15 - Exact enumeration problems, generating functions [MSC 2020]
05Axx - Enumerative combinatorics [MSC 2020]
Soggetto non controllato Algebra
Calculus
Combinatorics
Counting
Discrete mathematics
Duality
Finite
Functions
Lattice
Mapping
Mathematics
Permutation
Recursion
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268257
Aigner, Martin  
Berlin, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Combinatorial theory / Martin Aigner
Combinatorial theory / Martin Aigner
Autore Aigner, Martin
Pubbl/distr/stampa Berlin, : Springer, 1979
Descrizione fisica VIII, 483 p. : ill. ; 24 cm
Soggetto topico 05-XX - Combinatorics [MSC 2020]
05A15 - Exact enumeration problems, generating functions [MSC 2020]
05Axx - Enumerative combinatorics [MSC 2020]
05B35 - Combinatorial aspects of matroids and geometric lattices [MSC 2020]
Soggetto non controllato Algebra
Calculus
Combinatorics
Counting
Discrete mathematics
Duality
Finite
Functions
Lattice
Mapping
Mathematics
Permutation
Recursion
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00268257
Aigner, Martin  
Berlin, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 251 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 Functions
Logic
Mathematical logic
Mathematics
Variables
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0256466
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Logic Colloquium : Symposium on Logic held at Boston, 1972-73 / edited by Rohit Parikh
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 251 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Functions
Logic
Mathematical logic
Mathematics
Variables
order theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00256466
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui