1. |
Ebbinghaus, Heinz-Dieter: Einführung in die Mengenlehre / Heinz-Dieter Ebbinghaus. - 5. Auflage. - Berlin ; [Heidelberg]: Springer Spektrum, [2021]. - 1 Online-Ressource (viii, 264 Seiten) : Illustrationen, ISBN 978-3-662-63866-8 (Springer eBook Collection) DOI: 10.1007/978-3-662-63866-8
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
2. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung / Christoph Meinel, Martin Mundhenk. - 7. Auflage. - Wiesbaden: Springer Vieweg, [2024]. - 1 Online-Ressource (XXI, 317 Seiten, 97 Abb.), ISBN 978-3-658-43136-5 DOI: 10.1007/978-3-658-43136-5
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
3. |
Mukherjee, Anjan: Essentials of Fuzzy Soft Multisets : Theory and Applications / by Anjan Mukherjee, Ajoy Kanti Das. - Singapore: Springer Nature Singapore, 2023.. - 1 Online-Ressource(IX, 151 p. 3 illus.), ISBN 978-981-19-2760-7 DOI: 10.1007/978-981-19-2760-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
4. |
Ebbinghaus, Heinz-Dieter: Einführung in die Mengenlehre / Heinz-Dieter Ebbinghaus. - 5. Auflage. - Berlin ; [Heidelberg]: Springer Spektrum, [2021]. - viii, 264 Seiten : Diagramme, ISBN 978-3-662-63865-1 (Lehrbuch)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: LN-U 3-7073::(5)
|
|
5. |
Shapira, Yair: Set theory and its applications in physics and computing / Yair Shapira Technion - Israel Institute of Technology, Israel). - New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo: World Scientific, [2022]. - xxiv, 454 Seiten : Diagramme, ISBN 978-981-12-6177-0
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 150 S529
|
|
6. |
Kemper, Gregor: Lineare Algebra : mit einer Einführung in diskrete Mathematik und Mengenlehre / Gregor Kemper, Fabian Reimers. - Berlin: Springer Spektrum, [2022]. - 1 Online-Ressource (IX, 375 Seiten) : Illustrationen, ISBN 978-3-662-63724-1 DOI: 10.1007/978-3-662-63724-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
7. |
Brückler, Franka Miriam: Geschichte der Mathematik kompakt : Das Wichtigste aus Analysis, Wahrscheinlichkeitstheorie, angewandter Mathematik, Topologie und Mengenlehre / von Franka Miriam Brückler. - Berlin, Heidelberg: Springer Spektrum, 2018. - Online-Ressource (XII, 159 S. 67 Abb., 9 Abb. in Farbe, online resource), ISBN 978-3-662-55574-3 (SpringerLink : Bücher) DOI: 10.1007/978-3-662-55574-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
8. |
Krantz, Steven G.: The elements of advanced mathematics / Steven G. Kranz. - Fifth edition. - Boca Raton ; London ; New York: CRC Press, Taylor & Francis Group, 2022. - xv, 295 Seiten, ISBN 978-1-032-10275-7 (Textbooks in mathematics) DOI: 10.1201/9781003214564
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 110 K89(5)
|
|
9. |
Fuchs, Shay: Introduction to proofs and proof strategies / Shay Fuchs (University of Toronto). - Cambridge, United Kingdom ; New York, NY ; Port Melbourne, Australia ; New Delhi, India ; Singapore: Cambridge University Press, 2023. - xiv, 342 Seiten : Diagramme, Illustrationen, ISBN 978-1-009-09628-7 (Cambridge mathematical textbooks) DOI: 10.1017/9781009089005
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 F951
|
|
10. |
The Hyperuniverse Project and maximality / edited by Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo. - Cham: Birkhäuser, 2018. - Online-Ressource (XI, 265 p. 11 illus, online resource), ISBN 978-3-319-62935-3 (SpringerLink : Bücher) (Springer eBook Collection) DOI: 10.1007/978-3-319-62935-3
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
11. |
Well-Quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors. - Cham: Springer Nature Switzerland, [2020]. - 1 Online-Ressource (X, 391 p. 103 illus., 4 illus. in color.), ISBN 978-3-030-30229-0 (Springer eBook Collection) (Trends in logic, studia logica library ; volume 53) DOI: 10.1007/978-3-030-30229-0
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
12. |
Hausdorff, Felix: Gesammelte Werke : Band III Mengenlehre (1927, 1935) Deskriptive Mengenlehre und Topologie / von Felix Hausdorff. - Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. - Online-Ressource (digital), ISBN 978-3-540-76807-4 (Springer eBook Collection) (SpringerLink : Bücher) DOI: 10.1007/978-3-540-76807-4
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
13. |
Levy, Azriel: A hierarchy of formulas in set theory / by Azriel Lévy. - Providence, RI: American Mathematical Society, 1965. - 76 S. (Memoirs of the American Mathematical Society ; 57)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
|
|
14. |
Stillwell, John: Wahrheit, Beweis, Unendlichkeit : eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit / John Stillwell. Aus dem Engl. übers. von Roland Girgensohn. - Berlin ; Heidelberg: Springer Spektrum, 2014. - XII, 236 S. : Ill., graph. Darst., ISBN 978-3-642-37843-0
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 110 S857
|
|
15. |
Kechris, Alexander S.: Classical descriptive set theory / Alexander S. Kechris. - New York ; Berlin ; Heidelberg [u.a.]: Springer, 1995. - XVIII, 402 S. : graph. Darst., ISBN 978-1-4612-8692-9 (Graduate texts in mathematics ; 156)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
|
|
16. |
Stillwell, John: Wahrheit, Beweis, Unendlichkeit : Eine mathematische Reise zu den vielseitigen Auswirkungen der Unendlichkeit / von John Stillwell. - Berlin, Heidelberg: Springer Spektrum, 2014. - Online-Ressource (XII, 236 S. 39 Abb, online resource), ISBN 978-3-642-37844-7 (Springer eBook Collection : Life Science and Basic Disciplines) (SpringerLink : Bücher) DOI: 10.1007/978-3-642-37844-7
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
17. |
Suppes, Patrick: Axiomatic set theory / by Patrick Suppes. - 1. Dover ed.. - New York: Dover Publ., 1972. - XII, 267 S., ISBN 978-0-486-61630-8 (Dover books on advanced mathematics)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
ausleihbar ![3D-Plan](https://www.ub.uni-heidelberg.de/nav4/grafik/3d-plan-icon.png)
Signatur: 80 A 6991
|
|
18. |
Jech, Thomas J.: Set theory / Thomas Jech. - New York, NY [u.a.]: Academic Press, 1978. - XI, 621 S, ISBN 978-0-12-381950-5 (Pure and applied mathematics ; 79)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Präsenznutzung
|
|
19. |
The Hyperuniverse Project and maximality / Carolin Antos, Sy-David Friedman, Radek Honzik, Claudio Ternullo, editors. - Cham: Birkhäuser, [2018]. - xi, 270 Seiten : Illustrationen, ISBN 978-3-319-62934-6 DOI: 10.1007/978-3-319-62935-5
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 150 A635
|
|
20. |
Brückler, Franka Miriam: Geschichte der Mathematik kompakt : das Wichtigste aus Analysis, Wahrscheinlichkeitstheorie, angewandter Mathematik, Topologie und Mengenlehre / Franka Miriam Brückler. - Berlin ; [Heidelberg]: Springer Spektrum, [2018]. - XII, 158 Seiten : Illustrationen, ISBN 978-3-662-55573-6 DOI: 10.1007/978-3-662-55574-3
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SG 500 B889
|
|