1. |
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
|
Signatur: UBN/SK 130 F951
|
|
2. |
Ebbinghaus, Heinz-Dieter: Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. - Third edition. - Cham: Springer, 2021. - 1 Online-Ressource (IX, 304 Seiten), ISBN 978-3-030-73839-6 (Graduate texts in mathematics ; 291) (Springer eBook Collection) DOI: 10.1007/978-3-030-73839-6
Online-Ressource
|
|
|
3. |
Hils, Martin: A first journey through logic / Martin Hils, François Loeser. - Providence, Rhode Island: AMS, American Mathematical Society, [2019]. - xi, 185 Seiten, ISBN 978-1-4704-5272-8 (Student mathematical library ; volume 89)
Buch/keine Angabe
|
Signatur: UBN/SK 130 H655
|
|
4. |
Ebbinghaus, Heinz-Dieter: Mathematical logic / Heinz-Dieter Ebbinghaus, Jörg Flum, Wolfgang Thomas. - Third edition. - Cham, Switzerland: Springer, [2021]. - ix, 304 Seiten : Illustrationen, ISBN 978-3-030-73838-9 (Graduate Texts in mathematics ; 291) DOI: 10.1007/978-3-030-73839-6
Buch/keine Angabe
|
Signatur: UBN/SK 130 E15
|
|
5. |
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
|
Signatur: UBN/SK 110 K89(5)
|
|
6. |
Ω-bibliography of mathematical logic : model theory / edited by Gert H. Müller. - Berlin ; Heidelberg [u.a.]: Springer, 1987-1987 (Perspectives in mathematical logic)
Mehrteiliges Werk
|
|
|
7. |
Annals of mathematical logic. - Amsterdam: North-Holland Publ. Co., 1970-1982. - Online-Ressource, ISSN 1878-3767 1.1970 - 23.1982
Online-Ressource Zeitschrift
|
|
|
8. |
Archive for mathematical logic. - Berlin ; Heidelberg ; New York: Springer, 1950-. - Online-Ressource, ISSN 1432-0665 1.1950/52 -
Online-Ressource Zeitschrift
|
|
|
9. |
Li, Wei: Mathematical logic : foundations for information science / Wei Li. - 2., rev. ed.. - Basel ; Heidelberg [u.a.]: Birkhauser, 2014. - XIV, 301 S. : graph. Darst., ISBN 978-3-0348-0861-3 (Progress in computer science and applied logic ; 25) DOI: 10.1007/978-3-0348-0862-0
Buch/keine Angabe
|
Signatur: LN-U 1-15644::(2)
|
|
10. |
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
|
|
|
11. |
Haverkamp, Nick: Intuitionism vs. classicism : a mathematical attack on classical logic / Nick Haverkamp. - Frankfurt am Main: Klostermann, 2015. - XVI, 269 S., ISBN 978-3-465-03906-8 (Studies in theoretical philosophy ; Vol. 2)
Buch/keine Angabe
|
ausleihbar
|
|
12. |
Walicki, Michał: Introduction to mathematical logic / Michał Walicki, University of Bergen, Norway. - Extended edition. - New Jersey ; London ; Singapore ; Beijing ; Shanghai ; Hong Kong ; Taipei ; Chennai ; Tokyo: World Scientific, [2017]. - xiii, 287 Seiten : Illustrationen, ISBN 978-981-4719-96-4
Buch/keine Angabe
|
Signatur: UBN/SK 130 W176
|
|
13. |
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
|
Signatur: UBN/SK 130 W373
|
|
14. |
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
|
|
|
15. |
Mathematical logic quarterly : MLQ. - Berlin: Wiley-VCH, 1993-. - Online-Ressource, ISSN 1521-3870 Volume 39 (1993)- DOI: 10.1002/(ISSN)1521-3870
Online-Ressource Zeitschrift
|
|
|
16. |
Malitz, Jerome: Introduction to mathematical logic : set theory, computable functions, model theory / Jerome Malitz. - New York [u.a.]: Springer-Verl., 1979. - XI, 198 S. : graph. Darst., ISBN 978-3-540-90346-8 (Undergraduate texts in mathematics)
Buch/keine Angabe
|
|
|
17. |
Arias-Castro, Ery: Principles of statistical analysis : learning from randomized experiments / Ery Arias-Castro (University of California, San Diego). - Cambridge: Cambridge University Press, 2022. - xvii, 389 Seiten : Illustrationen, ISBN 978-1-108-48967-6 (Institute of mathematical statistics textbooks ; 15) DOI: 10.1017/9781108779197
Buch/keine Angabe
|
Signatur: UBN/SK 840 A696
|
|
18. |
Särkkä, Simo: Bayesian filtering and smoothing / Simo Särkkä, Lennart Svensson. - Second edition. - New York: Cambridge University Press, 2023. - xxx, 406 Seiten : Illustrationen, ISBN 978-1-108-92664-5 (Institute of Mathematical Statistics textbooks ; 17) DOI: 10.1017/9781108917407
Buch/keine Angabe
|
Signatur: WS/QH 233 S127(2)
|
|
19. |
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
|
Signatur: UBN/SK 130 A786
|
|
20. |
O'Leary, Michael: A first course in mathematical logic and set theory / Michael L. O'Leary, College of DuPage. - Hoboken, New Jersey: Wiley, [2016]. - xix, 443 Seiten : Diagramme, ISBN 978-0-470-90588-3
Buch/keine Angabe
|
Signatur: UBN/SK 150 O45
|
|