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.
Ernst Zermelo [[electronic resource] ] : An Approach to His Life and Work / / by Heinz Dieter Ebbinghaus, Volker Peckhaus
| Ernst Zermelo [[electronic resource] ] : An Approach to His Life and Work / / by Heinz Dieter Ebbinghaus, Volker Peckhaus |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [2nd ed. 2015.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (397 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics
History Mathematical logic Applied mathematics Engineering mathematics Logic History of Mathematical Sciences Mathematical Logic and Foundations Applications of Mathematics History of Science Mathematical Logic and Formal Languages |
| ISBN | 3-662-47997-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Berlin 1871–1897 -- 2 Göttingen 1897–1910 -- 3 Zurich 1910–1921 -- 4 Freiburg 1921–1953 -- 5 A Final Word -- 6 Zermelo’s Curriculum Vitae -- 7 Appendix. Selected Original Versions -- References -- Index. |
| Record Nr. | UNINA-9910299768103321 |
Ebbinghaus Heinz-Dieter <1939->
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [3rd ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 511.3 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Computer science - Mathematics Mathematical Logic and Foundations Mathematics of Computing Càlcul Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-73839-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim–Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Computability and Its Limitations -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- List of Symbols -- Subject Index. |
| Record Nr. | UNISA-996466386503316 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical Logic / / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas
| Mathematical Logic / / by Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [3rd ed. 2021.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (305 pages) |
| Disciplina | 511.3 |
| Collana | Graduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Computer science - Mathematics Mathematical Logic and Foundations Mathematics of Computing Càlcul Lògica matemàtica |
| Soggetto genere / forma | Llibres electrònics |
| ISBN | 3-030-73839-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim–Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Computability and Its Limitations -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- List of Symbols -- Subject Index. |
| Record Nr. | UNINA-9910483447003321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
| Mathematical Logic [[electronic resource] /] / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [2nd ed. 1994.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 511.3 |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Mathematics—Study and teaching Mathematical Logic and Foundations Mathematics Education |
| ISBN | 1-4757-2355-5 |
| Classificazione | 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index. |
| Record Nr. | UNINA-9910792487603321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mathematical Logic / / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas
| Mathematical Logic / / by H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [2nd ed. 1994.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 |
| Descrizione fisica | 1 online resource (X, 291 p.) |
| Disciplina | 511.3 |
| Collana | Undergraduate Texts in Mathematics |
| Soggetto topico |
Mathematical logic
Mathematics—Study and teaching Mathematical Logic and Foundations Mathematics Education |
| ISBN | 1-4757-2355-5 |
| Classificazione | 03-01 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A -- I Introduction -- II Syntax of First-Order Languages -- III Semantics of First-Order Languages -- IV A Sequent Calculus -- V The Completeness Theorem -- VI The Löwenheim-Skolem and the Compactness Theorem -- VII The Scope of First-Order Logic -- VIII Syntactic Interpretations and Normal Forms -- B -- IX Extensions of First-Order Logic -- X Limitations of the Formal Method -- XI Free Models and Logic Programming -- XII An Algebraic Characterization of Elementary Equivalence -- XIII Lindström’s Theorems -- References -- Symbol Index. |
| Record Nr. | UNINA-9910808752903321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Numbers [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert ; edited by John H. Ewing
| Numbers [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert ; edited by John H. Ewing |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XVIII, 398 p.) |
| Disciplina | 512/.7 |
| Collana | Readings in Mathematics |
| Soggetto topico |
Number theory
Number Theory |
| ISBN | 1-4612-1005-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A. From the Natural Numbers, to the Complex Numbers, to the p-adics -- 1. Natural Numbers, Integers, and Rational Numbers -- 2. Real Numbers -- 3. Complex Numbers -- 4. The Fundamental Theorem of Algebr -- 5. What is ?? -- 6. The p-Adic Numbers -- B. Real Division Algebras -- Repertory. Basic Concepts from the Theory of Algebras -- 7. Hamilton’s Quaternions -- 8. The Isomorphism Theorems of FROBENIUS, HOPF and GELFAND-MAZUR -- 9. CAYLEY Numbers or Alternative Division Algebras -- 10. Composition Algebras. HURWITZ’s Theorem-Vector-Product Algebras -- 11. Division Algebras and Topology -- C. Infinitesimals, Games, and Sets -- 12. Nonsiandard Analysis -- 13. Numbers and Games -- 14. Set Theory and Mathematics -- Name Index -- Portraits of Famous Mathematicians. |
| Record Nr. | UNINA-9910789225403321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Numbers [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert ; edited by John H. Ewing
| Numbers [[electronic resource] /] / by Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert ; edited by John H. Ewing |
| Autore | Ebbinghaus Heinz-Dieter <1939-> |
| Edizione | [1st ed. 1991.] |
| Pubbl/distr/stampa | New York, NY : , : Springer New York : , : Imprint : Springer, , 1991 |
| Descrizione fisica | 1 online resource (XVIII, 398 p.) |
| Disciplina | 512/.7 |
| Collana | Readings in Mathematics |
| Soggetto topico |
Number theory
Number Theory |
| ISBN | 1-4612-1005-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A. From the Natural Numbers, to the Complex Numbers, to the p-adics -- 1. Natural Numbers, Integers, and Rational Numbers -- 2. Real Numbers -- 3. Complex Numbers -- 4. The Fundamental Theorem of Algebr -- 5. What is ?? -- 6. The p-Adic Numbers -- B. Real Division Algebras -- Repertory. Basic Concepts from the Theory of Algebras -- 7. Hamilton’s Quaternions -- 8. The Isomorphism Theorems of FROBENIUS, HOPF and GELFAND-MAZUR -- 9. CAYLEY Numbers or Alternative Division Algebras -- 10. Composition Algebras. HURWITZ’s Theorem-Vector-Product Algebras -- 11. Division Algebras and Topology -- C. Infinitesimals, Games, and Sets -- 12. Nonsiandard Analysis -- 13. Numbers and Games -- 14. Set Theory and Mathematics -- Name Index -- Portraits of Famous Mathematicians. |
| Record Nr. | UNINA-9910812425203321 |
|
Ebbinghaus Heinz-Dieter <1939->
|
||
| New York, NY : , : Springer New York : , : Imprint : Springer, , 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||