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.
An Algebraic Introduction to Mathematical Logic / Donald W. Barnes, John M. Mack
An Algebraic Introduction to Mathematical Logic / Donald W. Barnes, John M. Mack
Autore Barnes, Donald W.
Pubbl/distr/stampa New York, : Springer-Verlag, 1975
Descrizione fisica ix, 123 p. : ill. ; 24 cm
Altri autori (Persone) Mack, John M.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
Soggetto non controllato Algebra
Mathematical logic
Set Theory
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0267827
Barnes, Donald W.  
New York, : Springer-Verlag, 1975
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An introduction to Godel's theorems / Peter Smith
An introduction to Godel's theorems / Peter Smith
Autore Smith, Peter <1944- >
Pubbl/distr/stampa Cambridge, : Cambridge university, 2007
Descrizione fisica XIV, 361 p. ; 25 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-216-7453-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0064361
Smith, Peter <1944- >  
Cambridge, : Cambridge university, 2007
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An introduction to Godel's theorems / Peter Smith
An introduction to Godel's theorems / Peter Smith
Autore Smith, Peter <1944- >
Pubbl/distr/stampa Cambridge, : Cambridge university, 2007
Descrizione fisica XIV, 361 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-216-7453-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-VAN0064361
Smith, Peter <1944- >  
Cambridge, : Cambridge university, 2007
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
An introduction to Godel's theorems / Peter Smith
An introduction to Godel's theorems / Peter Smith
Autore Smith, Peter <1944- >
Pubbl/distr/stampa Cambridge, : Cambridge university, 2007
Descrizione fisica XIV, 361 p. ; 25 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 978-05-216-7453-9
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0064361
Smith, Peter <1944- >  
Cambridge, : Cambridge university, 2007
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
Autore Dales, Harold G.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1987
Descrizione fisica VIII, 241 p. ; 23 cm.
Altri autori (Persone) Woodin, W. H.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
03E75 - Applications of set theory [MSC 2020]
03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020]
ISBN 978-05-213-3996-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0054268
Dales, Harold G.  
Cambridge, : Cambridge university, 1987
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
An introduction to independence for analysts / H. G. Dales and W. H. Woodin
Autore Dales, Harold G.
Pubbl/distr/stampa Cambridge, : Cambridge university, 1987
Descrizione fisica VIII, 241 p. ; 23 cm
Altri autori (Persone) Woodin, W. H.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03E35 - Consistency and independence results [MSC 2020]
03E50 - Continuum hypothesis and Martin's axiom [MSC 2020]
03E75 - Applications of set theory [MSC 2020]
03E40 - Other aspects of forcing and Boolean-valued models [MSC 2020]
ISBN 978-05-213-3996-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0054268
Dales, Harold G.  
Cambridge, : Cambridge university, 1987
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / by George Boole
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / by George Boole
Autore Boole, George
Pubbl/distr/stampa New York, : Dover, 1958
Descrizione fisica 424 p. ; 21 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
60Axx - Foundations of probability theory [MSC 2020]
ISBN 978-04-86600-28-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053081
Boole, George  
New York, : Dover, 1958
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / by George Boole
An investigation of the laws of thought on which are founded the mathematical theories of logic and probabilities / by George Boole
Autore Boole, George
Pubbl/distr/stampa New York, : Dover, 1958
Descrizione fisica 424 p. ; 21 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
60Axx - Foundations of probability theory [MSC 2020]
ISBN 978-04-86600-28-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053081
Boole, George  
New York, : Dover, 1958
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
An Invitation to Abstract Mathematics / Béla Bajnok
An Invitation to Abstract Mathematics / Béla Bajnok
Autore Bajnok, Béla
Edizione [2. ed]
Pubbl/distr/stampa Cham, : Springer, 2020
Descrizione fisica xvi, 442 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
00A05 - Mathematics in general [MSC 2020]
00A35 - Methodology of mathematics [MSC 2020]
91A46 - Combinatorial games [MSC 2020]
00-XX - General and overarching topics; collections [MSC 2020]
Soggetto non controllato Abstract mathematics
Abstract mathematics game
Abstract mathematics problems
Axiom of choice
Fundamental theorem of arithmetic
Fundamental theorem of equivalence relations
Generalized continuum hypothesis
Hackenbush game
Higher mathematics transition
Hungarian approach mathematics
Math statement proof
Mathematical induction
Nim game
Parallel postulate
Primitives mathematics
Transition to higher mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0248694
Bajnok, Béla  
Cham, : Springer, 2020
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]
ISBN 978-03-87963-68-6
03-87963-68-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055686
Henle, James M.  
New York, : Springer, 1986
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui