Alle Funktionen optimal nutzen: JETZT ANMELDEN

Treffer filtern

Erscheinungsjahr

-

Medientyp

+ Mehr anzeigen

Datenquelle

Autor

Fach

+ Mehr anzeigen

Format

Lizenz

Sprache

+ Mehr anzeigen

TIB-Lesesaalbestand

LUH-Institutsbestand

1–20 von 9.977 Ergebnissen

Sortieren nach

  1. Set Theory and Its Logic : Revised Edition

    Quine, W. V | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2021

  2. Formale Logik

    Lorenzen, Paul | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2019

  3. Sequents and Trees : an Introduction to the Theory and Applications of Propositional Sequent Calculi

    Indrzejczak, Andrzej | TIBKAT | 2021

  4. Higher-order logic and type theory

    Bell, John L. | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2022

  5. Paradoxes and inconsistent mathematics

    Weber, Zach | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2021

  6. Godel's way : exploits into an undecidable world

    Chaitin, Gregory J. | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2012

  7. Classical first-order logic

    Shapiro, Stewart / Kouri Kissel, Teresa | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2022

  8. Entailment : The Logic of Relevance and Necessity.

    Anderson, Alan Ross | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2017

  9. Universal Algebraic Logic : Dedicated to the Unity of Science

    Andréka, Hajnal / Gyenis, Zalán / Németi, István et al. | TIBKAT | 2022

  10. Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings

    Ferreira, João F. / Mendes, Alexandra / Menghi, Claudio | TIBKAT | 2021

  11. Decidability of Logical Theories and Their Combination

    Rasga, João / Sernadas, Cristina | TIBKAT | 2020

  12. Axiomatic Thinking II

    Ferreira, Fernando / Kahle, Reinhard / Sommaruga, Giovanni | TIBKAT | 2022

  13. Axiomatic Thinking I

    Ferreira, Fernando / Kahle, Reinhard / Sommaruga, Giovanni | TIBKAT | 2022

  14. Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

    Arai, Toshiyasu / Kikuchi, Makoto / Kuroda, Satoru | TIBKAT | 2021

  15. Principles of mathematics

    Russell, Bertrand | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2010

  16. Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics

    Chatti, Saloua | TIBKAT | 2019

  17. Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)

    Béziau, Jean-Yves / Desclés, Jean-Pierre / Moktefi, Amirouche | TIBKAT | 2022

  18. The Exoteric Square of Opposition : The Sixth World Congress on the Square of Opposition

    Beziau, Jean-Yves / Vandoulakis, Ioannis | TIBKAT | 2022

  19. Handbook of constructive mathematics

    Bridges, D. S. / Ishihara, Hajime / Rathjen, Michael | GWLB - Gottfried Wilhelm Leibniz Bibliothek | 2023

  20. A.P. Morse’s Set Theory and Analysis

    Alps, Robert A. | TIBKAT | 2022
Treffer pro Seite
10 50
Feedback