Mathematische Logik
García de la Sienra Guajardo
With Applications to Economic Theory
Fachbuch2025SpringerISBN 978-3-032-05676-4
Implications of Natural-Language Sentences and All Logical Paradoxes Solved
Fachbuch2025De GruyterISBN 978-3-11-144046-0
Cantor, Gödel und die Suche nach der mathematischen Wahrheit
Fachbuch2025SpringerISBN 978-3-662-71547-5
A Unified Approach
Fachbuch2025SpringerISBN 978-3-031-92432-3
Kumar Nashine / Ibragimov / Kalita
Proceedings of the ICNACT-2024 Conference Held During 8-10 August, 2024
Fachbuch2025De GruyterISBN 978-3-11-172455-3
Classical and Constructive Semigroups and Applications
Fachbuch2025SpringerISBN 978-3-031-86476-6
Part I: Cultural & Fundamental Frameworks
Fachbuch2025SpringerISBN 978-3-031-90489-9
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Fachbuch2., Second Edition 20262025SpringerISBN 978-3-031-99704-4
Bezhanishvili / Iemhoff / Yang
Fachbuch2025SpringerISBN 978-3-031-47923-6
Vordenker unserer digitalen Welt
Fachbuch2025SpringerISBN 978-3-658-49494-0
From the Logic of Questions to Proof Theory
Fachbuch2025SpringerISBN 978-3-031-82450-0
Vom Verständnis zum praktischen Werkzeug
Fachbuch2025SpringerISBN 978-3-662-72189-6
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-89609-5
Eine Welt jenseits der mathematischen Beweiskraft
Fachbuch2025Springer SpektrumISBN 978-3-662-71096-8
Die erstaunlichsten Alltagsirrtümer und wie man sie durchschaut
Monografie2011C.H.BECKISBN 978-3-406-62204-5
Fachbuch2025SpringerISBN 978-3-032-01669-0
Essays in Honor of John Corcoran (1937-2021)
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44463-0
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
Martsinkovsky
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods
Functor Categories, Model Theory, Algebraic Analysis and Constructive Methods
FCMTCCT2 2022, Almería, Spain, July 11–15, Invited and Selected Contributions
Fachbuch2025SpringerISBN 978-3-031-53065-4
Abdulla / Kesner
28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-90896-5