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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|
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 | ||
|