Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

Bibliothekskatalog
81 Treffer

Suchmaske

Suchtipp für den Bereich Bibliothekskatalog: Wörter werden automatisch mit UND verknüpft. Eine ODER-Verknüpfung erreicht man mit dem Zeichen "|", eine NICHT-Verknüpfung mit einem "-" (Minus) vor einem Wort. Anführungszeichen ermöglichen eine Phrasensuche.
Beispiele: (burg | schloss) -mittelalter, "berufliche bildung"

Suchergebnisse einschränken oder erweitern

Aktive Suchfilter

Erscheinungszeitraum

Form

Literaturtyp

Sprache

Schlagwort

81 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 öffnen
    A History of Folding in Mathematics: Mathematizing the Margins
    by Michael Friedman
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2018
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2018 (Volltext)
    Volltext
  2. Detailansicht für Treffer 2 öffnen
    Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
    by Jan von Plato
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  3. Detailansicht für Treffer 3 öffnen
    Effective Kan Fibrations in Simplicial Sets
    by Benno van den Berg, Eric Faber
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2022 (Volltext)
    Volltext
  4. Detailansicht für Treffer 4 öffnen
    Modern Logic 1850-1950, East and West
    edited by Francine F. Abeles, Mark E. Fuller
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  5. Detailansicht für Treffer 5 öffnen
    Feferman on Foundations: Logic, Mathematics, Philosophy
    edited by Gerhard Jäger, Wilfried Sieg
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  6. Detailansicht für Treffer 6 öffnen
    Ordered Sets: An Introduction with Connections from Combinatorics to Topology
    by Bernd Schröder
    2nd ed. 2016. - Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  7. Detailansicht für Treffer 7 öffnen
    Methods of Solving Number Theory Problems
    by Ellina Grigorieva
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2018
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2018 (Volltext)
    Volltext
  8. Detailansicht für Treffer 8 öffnen
    Dependence Logic: Theory and Applications
    edited by Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    The Congruences of a Finite Lattice: A "Proof-by-Picture" Approach
    by George Grätzer
    2nd ed. 2016. - Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    Writing Proofs in Analysis
    by Jonathan M. Kane
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    Advances in Proof Theory
    edited by Reinhard Kahle, Thomas Strahm, Thomas Studer
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Combinatorial Set Theory: With a Gentle Introduction to Forcing
    by Lorenz J. Halbeisen
    2nd ed. 2017. - Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 öffnen
    Logical Studies of Paraconsistent Reasoning in Science and Mathematics
    edited by Holger Andreas, Peter Verdée
    Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  14. Detailansicht für Treffer 14 öffnen
    A Course on Basic Model Theory
    by Haimanti Sarbadhikari, Shashi Mohan Srivastava
    Singapore: Springer Singapore, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  15. Detailansicht für Treffer 15 öffnen
    The Colorado Mathematical Olympiad: The Third Decade and Further Explorations: From the Mountains of Colorado to the Peaks of Mathematics
    by Alexander Soifer
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  16. Detailansicht für Treffer 16 öffnen
    Type Systems for Distributed Programs: Components and Sessions
    by Ornela Dardha
    Paris: Atlantis Press, Imprint: Atlantis Press, 2016
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  17. Detailansicht für Treffer 17 öffnen
    Introduction to Relation Algebras: Relation Algebras, Volume 1
    by Steven Givant
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  18. Detailansicht für Treffer 18 öffnen
    Advanced Topics in Relation Algebras: Relation Algebras, Volume 2
    by Steven Givant
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  19. Detailansicht für Treffer 19 öffnen
    Advances in Proof-Theoretic Semantics
    edited by Thomas Piecha, Peter Schroeder-Heister
    1st ed. 2016. - Cham: Springer International Publishing, Imprint: Springer, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  20. Detailansicht für Treffer 20 öffnen
    Diagonalization in Formal Mathematics
    by Paulo Guilherme Santos
    1st ed. 2020. - Wiesbaden: Springer Fachmedien Wiesbaden, Imprint: Springer Spektrum, 2020
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2020 (Volltext)
    Volltext

Recherchedatenbanken

Hochschulbibliotheken

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