Jump to main focus
Verbundkatalog hbz

Search results

University Libraries
2,570 Results

Search mask

Search tip University Libraries: Search terms are automatically combined with AND. Combining terms with OR is achieved by using "|", combining terms with NOT needs a "-" (minus) in front of the term. Quotation marks can be used to search for phrases.
Examples: (castle | palace) -medieval, "vocational education"

Limit or broaden search results

Period of Publication

Media Type

Source Type

Language

Subject Heading

Held by

2,570 Results

Sorting: 
  1. Open detailed title display for 1
    Grenzen der Mathematik: Eine Reise durch die Kerngebiete der mathematischen Logik
    von Dirk W. Hoffmann.
    3rd ed. 2018. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer Spektrum, 2018
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  2. Open detailed title display for 2
    An Introduction to the Technique of Formative Processes in Set Theory
    by Domenico Cantone, Pietro Ursino.
    1st ed. 2018. - Cham: Springer International Publishing; Imprint: Springer, 2018
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  3. Open detailed title display for 3
    Grundzüge der Theoretischen Logik
    von David Hilbert, Wilhelm Ackermann.
    6th ed. 1959. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1959
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  4. Open detailed title display for 4
    Lectures on Boolean Algebras
    by Steven Givant, P.R. Halmos.
    1st ed. 1974. - New York, NY: Springer New York; Imprint: Springer, 1974
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  5. Open detailed title display for 5
    Incompleteness for Higher-Order Arithmetic: An Example Based on Harrington’s Principle
    by Yong Cheng.
    1st ed. 2019. - Singapore: Springer Singapore; Imprint: Springer, 2019
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  6. Open detailed title display for 6
    Die Gödel'schen Unvollständigkeitssätze: Eine geführte Reise durch Kurt Gödels historischen Beweis
    von Dirk W. Hoffmann.
    2nd ed. 2017. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer Spektrum, 2017
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  7. Open detailed title display for 7
    Mathematische Logik
    von Martin Ziegler.
    2nd ed. 2017. - Cham: Springer International Publishing; Imprint: Birkhäuser, 2017
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  8. Open detailed title display for 8
    Einleitung in die Mengenlehre
    von Abraham Adolf Fraenkel.
    3rd ed. 1928. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1928
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  9. Open detailed title display for 9
    Mathematical Logic
    by J.D. Monk.
    1st ed. 1976. - New York, NY: Springer New York; Imprint: Springer, 1976
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  10. Open detailed title display for 10
    Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory
    by Jerome Malitz.
    1st ed. 1979. - New York, NY: Springer New York; Imprint: Springer, 1979
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  11. Open detailed title display for 11
    Einleitung in die Mengenlehre: Eine Elementare Einführung in das Reich des Unendlichgrossen
    von Adolf Fraenkel.
    2nd ed. 1923. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1923
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  12. Open detailed title display for 12
    Einführung in die operative Logik und Mathematik
    von Paul Lorenzen.
    2nd ed. 1969. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1969
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  13. Open detailed title display for 13
    Mathesis Universalis, Computability and Proof
    edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster.
    1st ed. 2019. - Cham: Springer International Publishing; Imprint: Springer, 2019
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  14. Open detailed title display for 14
    New Essays on Belnap-­Dunn Logic
    edited by Hitoshi Omori, Heinrich Wansing.
    1st ed. 2019. - Cham: Springer International Publishing; Imprint: Springer, 2019
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  15. Open detailed title display for 15
    Constructive Semantics: Meaning in Between Phenomenology and Constructivism
    edited by Christina Weiss.
    1st ed. 2019. - Cham: Springer International Publishing; Imprint: Springer, 2019
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  16. Open detailed title display for 16
    Advances in Natural Deduction: A Celebration of Dag Prawitz's Work
    edited by Luiz Carlos Pereira, Edward Haeusler, Valeria de Paiva.
    1st ed. 2014. - Dordrecht: Springer Netherlands; Imprint: Springer, 2014
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  17. Open detailed title display for 17
    Grundzüge der theoretischen Logik
    von David Hilbert, Wilhelm Ackermann.
    5th ed. 1967. - Berlin, Heidelberg: Springer Berlin Heidelberg; Imprint: Springer, 1967
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  18. Open detailed title display for 18
    Feferman on Foundations: Logic, Mathematics, Philosophy
    edited by Gerhard Jäger, Wilfried Sieg.
    1st ed. 2017. - Cham: Springer International Publishing; Imprint: Springer, 2017
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  19. Open detailed title display for 19
    Rohit Parikh on Logic, Language and Society
    edited by Can Başkent, Lawrence S. Moss, Ramaswamy Ramanujam.
    1st ed. 2017. - Cham: Springer International Publishing; Imprint: Springer, 2017
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?
  20. Open detailed title display for 20
    J. Michael Dunn on Information Based Logics
    edited by Katalin Bimbo.
    1st ed. 2016. - Cham: Springer International Publishing; Imprint: Springer, 2016
    Online Book, Datenträger, Online-Ressource
    Access:
    DOI-Link (Volltext)
    How do I get it?

Public & other Libraries

Selected Catalogues

xs 0 - 576
sm 576 - 768
md 768 - 992
lg 992 - 1200
xl 1200 - 1366
xxl 1366 -