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)
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 206 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
00Bxx - Conference proceedings and collections of articles [MSC 2020]
03Cxx - Model theory [MSC 2020]
03C75 - Other infinitary logic [MSC 2020]
03C30 - Other model constructions [MSC 2020]
Soggetto non controllato Finite
Infinite Logic
Language
Logic
Techniques
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0256434
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
Infinitary Logic : In Memoriam Carol Karp : A Collection of Papers by Various Authors / Edited by D. W. Kueker
Pubbl/distr/stampa Berlin, : Springer, 1975
Descrizione fisica 206 p. ; 24 cm
Soggetto topico 00Bxx - Conference proceedings and collections of articles [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020]
03C30 - Other model constructions [MSC 2020]
03C75 - Other infinitary logic [MSC 2020]
03Cxx - Model theory [MSC 2020]
Soggetto non controllato Finite
Infinite Logic
Language
Logic
Techniques
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00256434
Berlin, : Springer, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Souslin Problem / Keith J. Devlin, Havard Johnsbråten
The Souslin Problem / Keith J. Devlin, Havard Johnsbråten
Autore Devlin, Keith J.
Pubbl/distr/stampa Berlin, : Springer, 1974
Descrizione fisica viii, 132 p. ; 24 cm
Altri autori (Persone) Johnsbråten, Havard
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020]
03E15 - Descriptive set theory [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
03C30 - Other model constructions [MSC 2020]
Soggetto non controllato Forcing
Souslin Problem
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0256270
Devlin, Keith J.  
Berlin, : Springer, 1974
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The Souslin Problem / Keith J. Devlin, Havard Johnsbråten
The Souslin Problem / Keith J. Devlin, Havard Johnsbråten
Autore Devlin, Keith J.
Pubbl/distr/stampa Berlin, : Springer, 1974
Descrizione fisica viii, 132 p. ; 24 cm
Altri autori (Persone) Johnsbråten, Havard
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03C30 - Other model constructions [MSC 2020]
03E15 - Descriptive set theory [MSC 2020]
03E35 - Consistency and independence results [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
Soggetto non controllato Forcing
Souslin Problem
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00256270
Devlin, Keith J.  
Berlin, : Springer, 1974
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui