1. |
Zoglauer, Thomas: Einführung in die formale Logik für Philosophen / Thomas Zoglauer. - 6., durchgesehene und korrigierte Auflage. - Göttingen: UTB, [2021]. - 1 Online-Ressource (187 Seiten) : Illustrationen, ISBN 978-3-8385-5771-7 (utb-studi-e-book) (utb ; 1999 : Philodophie) DOI: 10.36198/9783838557717
![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. |
Göbler, Felix: Einstieg in die beweisorientierte Mathematik : Mit Versuch und Irrtum zum Beweis / von Felix Göbler, Alex Küronya. - Berlin: Springer, 2023. - 1 Online-Ressource(XXIX, 321 Seiten) : Illustrationen, ISBN 978-3-662-66356-1 DOI: 10.1007/978-3-662-66356-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
4. |
Meinel, Christoph: Mathematische Grundlagen der Informatik : mathematisches Denken und Beweisen - eine Einführung / Christoph Meinel, Martin Mundhenk. - 7. Auflage. - Wiesbaden: Springer Vieweg, [2024]. - XXI, 317 Seiten : Illustrationen, ISBN 978-3-658-43135-8 (Lehrbuch)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
---
|
|
5. |
Foundations of Software Science and Computation Structures : 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings / edited by Orna Kupferman, Pawel Sobocinski. - 1st ed. 2023.. - Cham: Springer Nature Switzerland, 2023.. - 1 Online-Ressource(XIV, 562 p. 187 illus., 97 illus. in color.), ISBN 978-3-031-30829-1 (Lecture Notes in Computer Science ; 13992) DOI: 10.1007/978-3-031-30829-1
![Online-Ressource](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/page_world.png) Online-Ressource
|
|
|
6. |
Hüntelmann, Rafael: Klassische aristotelische Logik Band 2. - Formale Logik für Fortgeschrittene. - Neunkirchen-Seelscheid: Editiones Scholasticae, 2021. - 101 Seiten, ISBN 978-3-86838-231-0
![Mehrteiliges Werk](/https/katalog.ub.uni-heidelberg.de/opacicon/books4.png) Mehrteiliges Werk
|
Signatur: 2021 C 1920::2
|
|
7. |
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
|
|
8. |
Mileti, Joseph: Modern mathematical logic / Joseph Mileti (Grinell College). - Cambridge ; New York, NY ; Melbourne: Cambridge University Press, 2023. - xiv, 502 Seiten : Diagramme, ISBN 978-1-108-83314-1 (Cambridge mathematical textbooks) DOI: 10.1017/9781108973106
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 M643
|
|
9. |
Stephanou, Yannis: A theory of truth / Yannis Stephanou (National and Kapodistrian University of Athens). - Cambridge ; New York, NY: Cambridge University Press, 2024. - xi, 345 Seiten, ISBN 978-1-009-43718-9 (Lecture notes in logic ; 55) DOI: 10.1017/9781009437141
![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: 2024 A 700
|
|
10. |
Theorie des wissenschaftlichen Argumentierens / hrsg. von Carl Friedrich Gethmann. - 1. Aufl.. - Frankfurt am Main: Suhrkamp, 1980. - 314 S. : graph. Darst., ISBN 978-3-518-06033-9 (Theorie : Theorie-Diskussion)
![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 11036;;Ersatzex
|
|
11. |
Weber, Zach: Paraconsistency in mathematics / Zach Weber, University of Otago. - Cambridge: Cambridge University Press, 2022. - 79 Seiten, ISBN 978-1-108-99541-2 (Cambridge elements. Elements in the philosophy of mathematics)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 W373
|
|
12. |
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)
|
|
13. |
Gillespie, Gordon: Das Orakel der Zahlen : eine kleine Philosophie der Mathematik / Gordon Gillespie. - München: C.H. Beck, [2023]. - 302 Seiten : Illustrationen, Diagramme, ISBN 978-3-406-79883-2
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SG 700 G478
|
|
14. |
Göbler, Felix: Einstieg in die beweisorientierte Mathematik : mit Versuch und Irrtum zum Beweis / Felix Göbler, Alex Küronya. - Berlin ; [Heidelberg]: Springer Spektrum, [2023]. - XXIX, 320 Seiten : Illustrationen, ISBN 978-3-662-66355-4 (Lehrbuch) DOI: 10.1007/978-3-662-66356-1
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 G593
|
|
15. |
Maraguat, Edgar: True purposes in Hegel's logic / Edgar Maraguat (University of Valencia). - Cambridge, United Kingdom ; New York, NY, USA ; Port Melbourne, VIC, Australia ; New Delhi, India ; Singapore: Cambridge University Press, 2023. - x, 260 Seiten, ISBN 978-1-009-30494-8
![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: 2023 A 5421
|
|
16. |
Wolff, Michael: Abhandlung über die Prinzipien der Logik : eine Verteidigung des logischen Monismus / Michael Wolff. - 3., überarbeitete Auflage. - Frankfurt am Main: Vittorio Klostermann, 2023. - XXI, 454 Seiten : Illustrationen, ISBN 978-3-465-04615-8 (Philosophische Abhandlungen ; Band 121)
![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: 2023 A 830
|
|
17. |
Bröcker, Walter: Formale, transzendentale und spekulative Logik / Walter Bröcker. - Frankfurt am Main: Klostermann, 1962. - 36 S. (Wissenschaft und Gegenwart ; 23)
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
|
|
18. |
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
|
|
|
19. |
Dutilh Novaes, Catarina: The dialogical roots of deduction : historical, cognitive, and philosophical perspectives on reasoning / Catarina Dutilh Novaes, Vrije Universiteit Amsterdam and University of St Andrews. - Cambridge ; New York, NY ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2021. - xiii, 271 Seiten : Illustrationen, ISBN 978-1-108-47988-2
![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)
|
|
20. |
Artemov, Sergej N.: Justification logic : reasoning with reasons / Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City… . - Cambridge ; New York, NY ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2019. - xxi, 247 Seiten : Diagramme, ISBN 978-1-108-42491-2 (Cambridge tracts in mathematics ; 216) DOI: 10.1017/9781108348034
![Buch/keine Angabe](/https/katalog.ub.uni-heidelberg.de/opacicon/silk/book.png) Buch/keine Angabe
|
Signatur: UBN/SK 130 A786
|
|