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)
1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller
1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller
Autore Siefkes, Dirk
Pubbl/distr/stampa Berlin, : Springer, 1970
Descrizione fisica xiv, 134 p. ; 24 cm
Soggetto topico 00-XX - General and overarching topics; collections [MSC 2020]
Soggetto non controllato Arithmetic
Decidability
Second Order Successor Arithmetic
Sucessor Arithmetic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0254983
Siefkes, Dirk  
Berlin, : Springer, 1970
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller
1.: Büchi's Monadic Second Order Successor Arithmetic / Dirk Siefkes ; Edited by Gert H. Müller
Autore Siefkes, Dirk
Pubbl/distr/stampa Berlin, : Springer, 1970
Descrizione fisica xiv, 134 p. ; 24 cm
Soggetto topico 00-XX - General and overarching topics; collections [MSC 2020]
Soggetto non controllato Arithmetic
Decidability
Second Order Successor Arithmetic
Sucessor Arithmetic
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00254983
Siefkes, Dirk  
Berlin, : Springer, 1970
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 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
Decidable theories / edited by Gert H. Müller
Decidable theories / edited by Gert H. Müller
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1970
Descrizione fisica v.
Collana Lecture notes in mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001234610403321
Berlin [etc.] : Springer-Verlag, 1970
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Decidable theories I [e-book] / by Gert H. Müller, Dirk Siefkes
Decidable theories I [e-book] / by Gert H. Müller, Dirk Siefkes
Autore Müller, Gert H.
Pubbl/distr/stampa Berlin : Springer, 1970
Descrizione fisica 1 online resource (130 p.)
Disciplina 511.3
Altri autori (Persone) Siefkes, Dirkauthor
Collana Lecture Notes in Mathematics, 0075-8434 ; 120
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540362524
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002156189707536
Müller, Gert H.  
Berlin : Springer, 1970
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Higher set theory [e-book] : proceedings, Oberwolfach, Germany, April 13–23, 1977 / edited by Gert H. Müller, Dana S. Scott
Higher set theory [e-book] : proceedings, Oberwolfach, Germany, April 13–23, 1977 / edited by Gert H. Müller, Dana S. Scott
Pubbl/distr/stampa Berlin : Springer, 1978
Descrizione fisica 1 online resource (476 p.)
Disciplina 510
Altri autori (Persone) Müller, Gert H.
Scott, Dana S.
Collana Lecture Notes in Mathematics, 0075-8434 ; 669
Soggetto topico Mathematics
ISBN 9783540357490
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002149349707536
Berlin : Springer, 1978
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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 00Bxx - Conference proceedings and collections of articles [MSC 2020]
03-XX - Mathematical logic and foundations [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-VAN00260669
Berlin, : Springer, 1978
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff
ISILC - Logic Conference : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by G. H. Müller, A. Oberschelp, K. Potthoff
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica iv, 651 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 Forcing
Logic
Mathematical logic
Model theory
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
fre
Record Nr. UNICAMPANIA-VAN0256461
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui