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.
A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks
| A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks |
| Autore | Krantz, Steven G. |
| Pubbl/distr/stampa | New York, : Springer, 2014 |
| Descrizione fisica | XVI, 382 p. : ill. ; 24 cm |
| Altri autori (Persone) | Parks, Harold R. |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
42C40 - Nontrigonometric harmonic analysis involving wavelets and other special systems [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 51M10 - Hyperbolic and elliptic geometries (general) and generalizations [MSC 2020] 05D10 - Ramsey theory [MSC 2020] 11Y11 - Primality [MSC 2020] 49Q05 - Minimal surfaces and optimization [MSC 2020] 83Axx - Special relativity [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 51M05 - Euclidean geometries (general) and generalizations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 57K30 - General topology of 3-manifolds [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] 11D41 - Higher degree equations; Fermat's equation [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 91G30 - Interest rates, asset pricing, etc. (stochastic models) [MSC 2020] |
| Soggetto non controllato |
Euclidean Geometry
Four color problem Mathematics of finance RSA Encryption Ramsey theory Relativity theory |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0102831 |
Krantz, Steven G.
|
||
| New York, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks
| A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks |
| Autore | Krantz, Steven G. |
| Pubbl/distr/stampa | New York, : Springer, 2014 |
| Descrizione fisica | XVI, 382 p. : ill. ; 24 cm |
| Altri autori (Persone) | Parks, Harold R. |
| Soggetto topico |
00Axx - General and miscellaneous specific topics [MSC 2020]
03D15 - Complexity of computation [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 05D10 - Ramsey theory [MSC 2020] 11D41 - Higher degree equations; Fermat's equation [MSC 2020] 11Y11 - Primality [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 42C40 - Nontrigonometric harmonic analysis involving wavelets and other special systems [MSC 2020] 49Q05 - Minimal surfaces and optimization [MSC 2020] 51M05 - Euclidean geometries (general) and generalizations [MSC 2020] 51M10 - Hyperbolic and elliptic geometries (general) and generalizations [MSC 2020] 57K30 - General topology of 3-manifolds [MSC 2020] 83Axx - Special relativity [MSC 2020] 91G30 - Interest rates, asset pricing, etc. (stochastic models) [MSC 2020] 94A60 - Cryptography [MSC 2020] |
| Soggetto non controllato |
Euclidean Geometry
Four color problem Mathematics of finance RSA Encryption Ramsey theory Relativity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00102831 |
|
Krantz, Steven G.
|
||
| New York, : Springer, 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks
| A mathematical odyssey : journey from the real to the complex / Steven G. Krantz, Harold R. Parks |
| Autore | Krantz, Steven G. |
| Edizione | [New York : Springer, 2014] |
| Pubbl/distr/stampa | XVI, 382 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Parks, Harold R. |
| Soggetto topico |
94A60 - Cryptography [MSC 2020]
42C40 - Nontrigonometric harmonic analysis involving wavelets and other special systems [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 51M10 - Hyperbolic and elliptic geometries (general) and generalizations [MSC 2020] 05D10 - Ramsey theory [MSC 2020] 11Y11 - Primality [MSC 2020] 49Q05 - Minimal surfaces and optimization [MSC 2020] 83Axx - Special relativity [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 51M05 - Euclidean geometries (general) and generalizations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 57K30 - General topology of 3-manifolds [MSC 2020] 00Axx - General and miscellaneous specific topics [MSC 2020] 11D41 - Higher degree equations; Fermat's equation [MSC 2020] 05C15 - Coloring of graphs and hypergraphs [MSC 2020] 91G30 - Interest rates, asset pricing, etc. (stochastic models) [MSC 2020] |
| ISBN | 8-1-4614-8938-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0102831 |
|
Krantz, Steven G.
|
||
| XVI, 382 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato
| Can Mathematics Be Proved Consistent? : Gödel's Shorthand Notes & Lectures on Incompleteness / Jan von Plato |
| Autore | von Plato, Jan |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | ix, 263 p. : ill. ; 24 cm |
| Soggetto topico |
01A60 - History of mathematics in the 20th century [MSC 2020]
01A70 - Biographies, obituaries, personalia, bibliographies [MSC 2020] 01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Completeness problem
German mathematicians Gödel incompleteness theorem Gödel lectures Gödel notes Incompleteness theorems Principia Mathematica Skolem's paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248756 |
|
von Plato, Jan
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3rd ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm. |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computability and logic / George S. Boolos, Richard C. Jeffrey
| Computability and logic / George S. Boolos, Richard C. Jeffrey |
| Autore | Boolos, George |
| Edizione | [3. ed] |
| Pubbl/distr/stampa | New York, : Cambridge university, 1989 |
| Descrizione fisica | X, 304 p. ; 23 cm |
| Altri autori (Persone) | Jeffrey, Richard C. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B10 - Classical first-order logic [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 03B45 - Modal logic (including the logic of norms) [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03H15 - Nonstandard models of arithmetic [MSC 2020] |
| ISBN |
05-213-8923-2
978-05-213-8923-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00053087 |
|
Boolos, George
|
||
| New York, : Cambridge university, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Diagonalization in Formal Mathematics / Paulo Guilherme Santos
| Diagonalization in Formal Mathematics / Paulo Guilherme Santos |
| Autore | Santos, Paulo Guilherme |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2020 |
| Descrizione fisica | 99 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Banach theorem
Curry’s paradox Diagonalization Diagonalization lemma Fixed Points Knaster–Tarski theorem Lawvere’s diagonal argument Paradoxes Russell’s paradox Self-reference Smullyan’s theorem Yablo’s paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248524 |
|
Santos, Paulo Guilherme
|
||
| Wiesbaden, : Springer Spektrum, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Diagonalization in Formal Mathematics / Paulo Guilherme Santos
| Diagonalization in Formal Mathematics / Paulo Guilherme Santos |
| Autore | Santos, Paulo Guilherme |
| Pubbl/distr/stampa | Wiesbaden, : Springer Spektrum, 2020 |
| Descrizione fisica | 99 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Banach theorem
Curry’s paradox Diagonalization Diagonalization lemma Fixed Points Knaster–Tarski theorem Lawvere’s diagonal argument Paradoxes Russell’s paradox Self-reference Smullyan’s theorem Yablo’s paradox |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248524 |
|
Santos, Paulo Guilherme
|
||
| Wiesbaden, : Springer Spektrum, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03F40 - Gödel numberings and issues of incompleteness [MSC 2020]
(27)
- 03-XX - Mathematical logic and foundations [MSC 2020] (19)
- 03F30 - First-order arithmetic and fragments [MSC 2020] (11)
- 03B45 - Modal logic (including the logic of norms) [MSC 2020] (9)
- 03B10 - Classical first-order logic [MSC 2020] (5)