| 1. |
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 |
|
|
| 2. |
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
|
|
| 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 |
|
|
| 4. |
The journal of symbolic logic / publ. quarterly by the Association for Symbolic Logic. Ed. by Alonzo Church [u.a.]. -
Cambridge: Cambridge Univ. Press, 1936-. - Online-Ressource, ISSN 1943-5886
1.1936 -
Online-Ressource  Zeitschrift |
|
|
| 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 |
|
|
| 6. |
Brückler, Franka Miriam: Geschichte der Mathematik kompakt : Das Wichtigste aus Arithmetik, Geometrie, Algebra, Zahlentheorie und Logik / von Franka Miriam Brückler. -
Berlin, Heidelberg: Springer Spektrum, 2017. - Online-Ressource (XII, 171 S. 121 Abb., 24 Abb. in Farbe, online resource), ISBN 978-3-662-55352-7
(SpringerLink : Bücher)
DOI: 10.1007/978-3-662-55352-7
Online-Ressource |
|
|
| 7. |
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 |
Signatur: UBN/SK 130 M643
|
|
| 8. |
Prestel, Alexander: Einführung in die mathematische Logik und Modelltheorie / Alexander Prestel. -
Braunschweig [u.a.]: Vieweg, 1986. - XIV, 286 S., ISBN 978-3-528-07260-5
(Vieweg-Studium : Aufbaukurs Mathematik ; 60)
Buch/keine Angabe  Inhaltsverzeichnis: 1, 2 |
Signatur: UBN/SK 130 P936
|
|
| 9. |
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
|
|
| 10. |
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)
|
|
| 11. |
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 |
Signatur: UBN/SG 700 G478
|
|
| 12. |
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 |
Signatur: UBN/SK 130 G593
|
|
| 13. |
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 |
ausleihbar  Signatur: 2023 A 830
|
|
| 14. |
Beckermann, Ansgar: Einführung in die Logik / Ansgar Beckermann. - 4., durchges. Aufl.. -
Berlin [u.a.]: de Gruyter, 2014. - XV, 412 S. : graph. Darst., ISBN 978-3-11-035408-9
(De-Gruyter-Studium)
Buch/keine Angabe |
ausleihbar Signatur: LA-C 5-19218::(4)
|
|
| 15. |
Zoglauer, Thomas: Einführung in die formale Logik für Philosophen / Thomas Zoglauer. - 5., durchgesehene Auflage. -
Göttingen ; Bristol, CT, U.S.A.: Vandenhoeck & Ruprecht, [2016]. - 187 Seiten : Illustrationen, ISBN 978-3-8252-4592-4
(UTB ; 1999 : Philosophie)
Buch/keine Angabe |
ausleihbar Signatur: LA-C 5-15737::(5)
|
|
| 16. |
Buth, Manfred: Einführung in die formale Logik : unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form? / Manfred Buth. -
Frankfurt am Main [u.a.]: Lang, 1996. - 209 S : graph. Darst, ISBN 978-3-631-30624-6
Buch/keine Angabe Inhaltsverzeichnis: 1, 2, 3 |
ausleihbar Signatur: 96 A 12051
|
|
| 17. |
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 |
ausleihbar |
|
| 18. |
Ebbinghaus, Heinz-Dieter: Einführung in die mathematische Logik / Heinz-Dieter Ebbinghaus; Jörg Flum; Wolfgang Thomas. - 2., überarb. Aufl.. -
Darmstadt: Wissenschaftl. Buchges., 1986. - IX, 308 S. : 1 graph. Darst., ISBN 978-3-534-06354-3
(Einführungen)
(Die Mathematik)
Buch/keine Angabe |
ausleihbar |
|
| 19. |
Archive for mathematical logic. -
Berlin ; Heidelberg ; New York: Springer, 1950-. - Online-Ressource, ISSN 1432-0665
1.1950/52 -
Online-Ressource Zeitschrift |
|
|
| 20. |
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 |
|
|
Suchhistorie (1 Recherche)
Jahr
