| 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. |
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
|
|
| 19. |
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)
|
|
| 20. |
Smith, Peter: An introduction to formal logic / Peter Smith. - Second edition. -
Cambridge ; New York, NY ; Port Melbourne ; New Delhi ; Singapore: Cambridge University Press, 2020. - viii, 420 Seiten, ISBN 978-1-108-42006-8
(Cambridge introductions to philosophy)
Buch/keine Angabe |
ausleihbar Signatur: 2020 A 7579
|
|
Suchhistorie (1 Recherche)
Parallelrecherche im DigiKat läuft noch...
Jahr
