Zum Hauptinhalt springen
Technische Hochschule Georg Agricola zu Bochum, Hochschulbibliothek

Suchergebnisse

Bibliothekskatalog
25 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

25 Treffer

Sortierung: 
  1. Detailansicht für Treffer 1 ö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
  2. Detailansicht für Treffer 2 ö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
  3. Detailansicht für Treffer 3 ö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
  4. Detailansicht für Treffer 4 ö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
  5. Detailansicht für Treffer 5 ö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
  6. Detailansicht für Treffer 6 ö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
  7. Detailansicht für Treffer 7 ö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
  8. Detailansicht für Treffer 8 öffnen
    The Square of Opposition: A Cornerstone of Thought
    edited by Jean-Yves Béziau, Gianfranco Basti
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2017
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  9. Detailansicht für Treffer 9 öffnen
    The Lvov-Warsaw School. Past and Present
    edited by Ángel Garrido, Urszula Wybraniec-Skardowska
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2018
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2018 (Volltext)
    Volltext
  10. Detailansicht für Treffer 10 öffnen
    The Legacy of Kurt Schütte
    edited by Reinhard Kahle, Michael Rathjen
    1st ed. 2020. - Cham: Springer International Publishing, Imprint: Springer, 2020
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2020 (Volltext)
    Volltext
  11. Detailansicht für Treffer 11 öffnen
    Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
    by Luca Tranchini
    1st ed. 2024. - Cham: Springer International Publishing, Imprint: Springer, 2024
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Nature Open Access Bücher (Volltext)
    Volltext
  12. Detailansicht für Treffer 12 öffnen
    Cultures of Mathematics and Logic: Selected Papers from the Conference in Guangzhou, China, November 9-12, 2012
    edited by Shier Ju, Benedikt Löwe, Thomas Müller, Yun Xie
    Cham: Springer International Publishing, Imprint: Birkhäuser, 2016
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2016 (Volltext)
    Volltext
  13. Detailansicht für Treffer 13 öffnen
    Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry
    by Thomas Macaulay Ferguson
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  14. Detailansicht für Treffer 14 öffnen
    Descriptor Revision: Belief Change through Direct Choice
    by Sven Ove Hansson
    Cham: Springer International Publishing, Imprint: Springer, 2017
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2017 (Volltext)
    Volltext
  15. Detailansicht für Treffer 15 öffnen
    Inquisitive Logic: Consequence and Inference in the Realm of Questions
    by Ivano Ciardelli
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2022 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext
  16. Detailansicht für Treffer 16 öffnen
    Logic and Implication: An Introduction to the General Algebraic Study of Non-classical Logics
    by Petr Cintula, Carles Noguera
    1st ed. 2021. - Cham: Springer International Publishing, Imprint: Springer, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2021 (Volltext)
    Volltext
  17. Detailansicht für Treffer 17 öffnen
    Logic - Language - Ontology: Selected Works
    by Urszula B. Wybraniec-Skardowska
    1st ed. 2022. - Cham: Springer Nature Switzerland, Imprint: Birkhäuser, 2022
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2022 (Volltext)
    Volltext
  18. Detailansicht für Treffer 18 öffnen
    Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
    edited by Jean-Yves Béziau, Jean-Pierre Desclés, Amirouche Moktefi, Anca Christine Pascu
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Birkhäuser, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2022 (Volltext)
    Volltext
  19. Detailansicht für Treffer 19 öffnen
    The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
    by Elena Anne Corie Marchisotto, Francisco Rodríguez-Consuegra, James T. Smith
    1st ed. 2021. - New York, NY: Springer New York, Imprint: Birkhäuser, 2021
    Online Monographie, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2021 (Volltext)
    Volltext
  20. Detailansicht für Treffer 20 öffnen
    The Logical Writings of Karl Popper
    edited by David Binder, Thomas Piecha, Peter Schroeder-Heister
    1st ed. 2022. - Cham: Springer International Publishing, Imprint: Springer, 2022
    Online Sammelwerk, Elektronische Ressource
    Zugriff:
    Springer Mathematics & Statistics 2022 (Volltext)
    Springer Nature Open Access Bücher (Volltext) Volltext

Recherchedatenbanken

Hochschulbibliotheken

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