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)
Groups and model theory : in honor of Rüdiger Göbel’s 70th birthday. May 30–June 3, 2011 conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.] editors
Groups and model theory : in honor of Rüdiger Göbel’s 70th birthday. May 30–June 3, 2011 conference center “Die Wolfsburg”, Mühlheim an der Ruhr, Germany / Lutz Strüngmann ... [et al.] editors
Pubbl/distr/stampa Providence, : American mathematical society, 2012
Descrizione fisica XVII, 316 p. ; 26 cm
Soggetto topico 20Kxx - Abelian groups [MSC 2020]
20Axx - Foundations [MSC 2020]
20Fxx - Special aspects of infinite or finite groups [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 978-08-218-6923-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0123319
Providence, : American mathematical society, 2012
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
Autore Borovik, Alexandre
Pubbl/distr/stampa Oxford, : Clarendon, 1994
Descrizione fisica XI, 409 p. ; 24 cm.
Altri autori (Persone) Nesin, Ali
Soggetto topico 20Bxx - Permutation groups [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 01-985344-5-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0029497
Borovik, Alexandre  
Oxford, : Clarendon, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
Groups of finite Morley rank / Alexandre Borovik and Ali Nesin
Autore Borovik, Alexandre
Pubbl/distr/stampa Oxford, : Clarendon, 1994
Descrizione fisica XI, 409 p. ; 24 cm
Altri autori (Persone) Nesin, Ali
Soggetto topico 20Bxx - Permutation groups [MSC 2020]
03Cxx - Model theory [MSC 2020]
ISBN 01-985344-5-0
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0029497
Borovik, Alexandre  
Oxford, : Clarendon, 1994
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
Autore Cheng, Yong
Pubbl/distr/stampa Singapore, : Springer, 2019
Descrizione fisica xiv, 122 p. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
Soggetto non controllato Harrington's Principle
Higher order arithmetic
Incompleteness
L-cardinals
Martin-Harrington Theorem
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0127310
Cheng, Yong  
Singapore, : Springer, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle / Yong Cheng
Autore Cheng, Yong
Edizione [Singapore : Springer, 2019]
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0127310
Cheng, Yong  
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 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
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz
Autore Malitz, Jerome
Pubbl/distr/stampa New York, : Springer, 1979
Descrizione fisica xii, 198 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
Soggetto non controllato Compactness theorem
Computability theory
Mathematical logic
Model theory
Proofs
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0268273
Malitz, Jerome  
New York, : Springer, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic / E. Mendelson
Introduction to mathematical logic / E. Mendelson
Autore Mendelson, Elliott
Edizione [4th edition]
Pubbl/distr/stampa London [etc.], : Chapman & Hall, 1997, stampa 2001
Descrizione fisica x, 440 p. ; 25 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
ISBN 04-12-80830-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053872
Mendelson, Elliott  
London [etc.], : Chapman & Hall, 1997, stampa 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to mathematical logic / E. Mendelson
Introduction to mathematical logic / E. Mendelson
Autore Mendelson, Elliott
Edizione [4. edition]
Pubbl/distr/stampa London [etc.], : Chapman & Hall, 1997, stampa 2001
Descrizione fisica x, 440 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Hxx - Nonstandard models [MSC 2020]
ISBN 04-12-80830-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053872
Mendelson, Elliott  
London [etc.], : Chapman & Hall, 1997, stampa 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Introduction to model theory / Philipp Rothmaler
Introduction to model theory / Philipp Rothmaler
Autore Rothmaler, Philipp
Pubbl/distr/stampa Amsterdam, : Gordon & Breach, 2000
Descrizione fisica XVI, 305 p. ; 25 cm.
Soggetto topico 03Cxx - Model theory [MSC 2020]
ISBN 978-90-569-9287-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0052259
Rothmaler, Philipp  
Amsterdam, : Gordon & Breach, 2000
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui