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. |
| 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 | ||
| ||
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 | ||
| ||
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 | ||
| ||
Esercizi scelti di Algebra 2 / Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich
| Esercizi scelti di Algebra 2 / Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich |
| Autore | Chirivì, Rocco |
| Edizione | [Milano : Springer, 2018] |
| Pubbl/distr/stampa | xii, 266 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) |
Dvornicich, Roberto
Del Corso, Ilaria |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0125091 |
|
Chirivì, Rocco
|
||
| xii, 266 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Esercizi scelti di Algebra Vol. 2 / Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich
| Esercizi scelti di Algebra Vol. 2 / Rocco Chirivì, Ilaria Del Corso, Roberto Dvornicich |
| Autore | Chirivì, Rocco |
| Pubbl/distr/stampa | Milano, : Springer, 2018 |
| Descrizione fisica | xii, 266 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Del Corso, Ilaria
Dvornicich, Roberto |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] |
| Soggetto non controllato |
Algebra
Anelli Campi Galois Gruppi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0125091 |
|
Chirivì, Rocco
|
||
| Milano, : Springer, 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák
| Logical foundations of mathematics and computational complexity : a gentle introduction / Pavel Pudlák |
| Autore | Pudlák, Pavel |
| Pubbl/distr/stampa | Cham, : Springer, 2013 |
| Descrizione fisica | xiv, 695 p. : ill. ; 24 cm |
| Soggetto topico |
03F20 - Complexity of proofs [MSC 2020]
03E35 - Consistency and independence results [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F30 - First-order arithmetic and fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Algorithmic complexity Complexity of Proofs Computational complexity Foundations of mathematics Incompleteness theorems Mathematical logic Set-Theoretical Foundations |
| ISBN | 978-33-19-00118-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0273604 |
|
Pudlák, Pavel
|
||
| Cham, : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Modern mathematical logic / Joseph Mileti
| Modern mathematical logic / Joseph Mileti |
| Autore | Mileti, Joseph |
| Pubbl/distr/stampa | Cambridge, : Cambridg university, 2023 |
| Descrizione fisica | xiv, 502 p. : ill. ; 27 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B05 - Classical propositional logic [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03Cxx - Model theory [MSC 2020] 03E30 - Axiomatics of classical set theory and its fragments [MSC 2020] 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] 03E10 - Ordinal and cardinal numbers [MSC 2020] 03B10 - Classical first-order logic [MSC 2020] |
| Soggetto non controllato |
Categories and Sets
Logic Mathematics Philosophy |
| ISBN | 978-11-08-83314-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0273596 |
|
Mileti, Joseph
|
||
| Cambridge, : Cambridg university, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
03F40 - Gödel numberings and issues of incompleteness [MSC 2020]
(16)
- 03-XX - Mathematical logic and foundations [MSC 2020] (11)
- 03F30 - First-order arithmetic and fragments [MSC 2020] (7)
- 03B45 - Modal logic (including the logic of norms) [MSC 2020] (6)
- 03B10 - Classical first-order logic [MSC 2020] (3)