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.
An Invitation to Mathematical Logic / David Marker
| An Invitation to Mathematical Logic / David Marker |
| Autore | Marker, David |
| Pubbl/distr/stampa | Cham, : Springer, 2024 |
| Descrizione fisica | xviii, 357 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Computability Godel's completeness Gödel incompleteness theorem Hilbert's 10th problem Incompleteness theorem Logic for Computer Science Logic for philosophy Marker GTM Mathematical logic Model theory introduction Peano arithmetic Quantifier elimination Turing reducibility Ultraproducts |
| ISBN | 978-30-315-5367-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283788 |
Marker, David
|
||
| Cham, : Springer, 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
| Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf |
| Autore | Halbeisen, Lorenz J. |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | x, 236 p. : ill. ; 24 cm |
| Altri autori (Persone) | Krapf, Regula |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Constructible universe Incompleteness theorem Mathematical logic Non-standard models Peano arithmetic Presburger arithmetic Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249323 |
|
Halbeisen, Lorenz J.
|
||
| Cham, : Birkhäuser, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf
| Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics / Lorenz Halbeisen, Regula Krapf |
| Autore | Halbeisen, Lorenz J. |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2020 |
| Descrizione fisica | x, 236 p. : ill. ; 24 cm |
| Altri autori (Persone) | Krapf, Regula |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Bxx - General logic [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Completeness theorem
Constructible universe Incompleteness theorem Mathematical logic Non-standard models Peano arithmetic Presburger arithmetic Set Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249323 |
|
Halbeisen, Lorenz J.
|
||
| Cham, : Birkhäuser, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami
| What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami |
| Autore | Beltrami, Edward J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Copernicus, : Springer, 2020 |
| Descrizione fisica | xviii, 192 p. ; 24 cm |
| Soggetto topico |
60A05 - Axioms; other general questions in probability [MSC 2020]
00A05 - Mathematics in general [MSC 2020] 00A09 - Popularization of mathematics [MSC 2020] |
| Soggetto non controllato |
Binary sequence
Chance mathematics Claude Shannon information theory Coin toss Random probability Incompleteness theorem Information Theory Information theory entropy Law of large numbers Power laws Probability Theory Quantum Randomness Quantum indetereminacy Random probability Randomness and probability Randomness math Uncertainty math |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0250563 |
|
Beltrami, Edward J.
|
||
| New York, : Copernicus, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami
| What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami |
| Autore | Beltrami, Edward J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Copernicus, : Springer, 2020 |
| Descrizione fisica | xviii, 192 p. ; 24 cm |
| Soggetto topico |
00A05 - Mathematics in general [MSC 2020]
00A09 - Popularization of mathematics [MSC 2020] 60A05 - Axioms; other general questions in probability [MSC 2020] |
| Soggetto non controllato |
Binary sequence
Chance mathematics Claude Shannon information theory Coin toss Random probability Incompleteness theorem Information Theory Information theory entropy Law of large numbers Power laws Probability Theory Quantum Randomness Quantum indetereminacy Random probability Randomness and probability Randomness math Uncertainty math |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00250563 |
|
Beltrami, Edward J.
|
||
| New York, : Copernicus, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami
| What Is Random? : Chance and Order in Mathematics and Life / Edward Beltrami |
| Autore | Beltrami, Edward J. |
| Pubbl/distr/stampa | New York, : Copernicus, : Springer, 1999 |
| Descrizione fisica | xx, 201 p. ; 24 cm |
| Soggetto non controllato |
Binary sequence
Chance mathematics Claude Shannon information theory Coin toss Random probability Incompleteness theorem Information Theory Information theory entropy Law of large numbers Power laws Probability Theory Quantum Randomness Quantum indetereminacy Random probability Randomness and probability Randomness math Uncertainty math |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00300620 |
|
Beltrami, Edward J.
|
||
| New York, : Copernicus, : Springer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||