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.

Biblioteca

MARC Lista (tabellare)
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui