BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
Mathematische Logik
144 Treffer
neu
From the Logic of Questions to Proof Theory
Fachbuch2025SpringerISBN 978-3-031-82450-0
neu
Eine Welt jenseits der mathematischen Beweiskraft
Fachbuch2025Springer SpektrumISBN 978-3-662-71096-8
neu
11th Indian Conference, ICLA 2025, Kolkata, India, February 3–5, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-89609-5
Ankündigung
Part II: Cultural, Fundamental & Technological Frameworks
Fachbuch2025SpringerISBN 978-3-031-90485-1
neu
Beckmann / Oitavem / Manea
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
Crossroads of Computability and Logic: Insights, Inspirations, and Innovations
21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14–18, 2025, Proceedings
Fachbuch2025SpringerISBN 978-3-031-95907-3
Ankündigung
Arfini
Fachbuch2025SpringerISBN 978-3-031-96687-3
Ankündigung
Arfini
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Fachbuch2025SpringerISBN 978-3-031-96683-5
Ankündigung
Kumar Nashine / Ibragimov / Kalita
Proceedings of the ICNACT-2024 Conference Held During 8-10 August, 2024
Fachbuch2025De GruyterISBN 978-3-11-172455-3
Ankündigung
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Fachbuch2., Second Edition 20252025SpringerISBN 978-3-031-99704-4
Ankündigung
Boole, Lukasiewicz, de Finetti, Kolmogorov
Fachbuch2025SpringerISBN 978-3-031-98336-8
neu
Essays in Honor of John Corcoran (1937-2021)
Fachbuch2025Birkhäuser Verlag GmbHISBN 978-3-031-44463-0
neu
Intensional Aspects of Proof-Theoretic Semantics
Fachbuch2025SpringerISBN 978-3-031-46923-7
neu
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
neu
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
neu
A Practical Logic for Expressing and Reasoning About Mathematical Ideas
Fachbuch2., Second Edition 20252025Birkhäuser Verlag GmbHISBN 978-3-031-85351-7
neu
Platz / Flynn / Neal / Ouellette
Proceedings of the 41st IMAC, A Conference and Exposition on Structural Dynamics 2023
Fachbuch2025SpringerISBN 978-3-031-37005-2
neu
Piccolomini d'Aragona
Fachbuch2025SpringerISBN 978-3-031-51408-1
neu
A Course in One Semester
Fachbuch2., Second Edition 20242025SpringerISBN 978-3-031-38987-0
Ankündigung
Ein kompakter Vorkurs
Fachbuch2025SpringerISBN 978-3-662-71588-8
neu
Baratgin / Jacquet / Brochier / Yama
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness
Third International Conference, HAR 2024, Paris, France, September 17–20, 2024, Proceedings
Fachbuch2025SpringerISBN 978-3-031-84594-9
Rezensionen
