Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Newsletteraktion: Abonnieren Sie jetzt unseren Newsletter und sichern Sie sich bis zum 8. August 2025 10% Rabatt auf Ihre Onlinebestellungen. Infos und Anmeldung.
Logic and Fixed-Domain Reasoning
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Oktober 2025, ca. 372 Seiten, Trends in Logic, Englisch
Springer International Publishing
978-3-031-98192-0
Oktober 2025, ca. 372 Seiten, Trends in Logic, Englisch
Springer International Publishing
978-3-031-98192-0
Weitere Titel der Reihe: Trends in Logic
Alle anzeigenModel Theory: The Algebraic Basics
Springer International Publishing, 2025
978-3-032-03795-4
ca. 109.00 CHF
erscheint im Oktober
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
Springer International Publishing, 2025
978-3-031-98336-8
ca. 146.00 CHF
erscheint im Oktober
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
ca. 158.00 CHF
erscheint im Oktober
Logic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
Springer International Publishing, 2025
978-3-031-98188-3
ca. 168.00 CHF
erscheint im Oktober
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Springer International Publishing, 2025
978-3-031-82450-0
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
60 Years of Connexive Logic
Springer International Publishing, 2025
978-3-031-82993-2
ca. 169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
New Directions in Relevant Logic
Springer International Publishing, 2025
978-3-031-69939-9
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
A Model–Theoretic Approach to Proof Theory
Springer EN, 2019
978-3-030-28920-1
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Heyting Algebras
Duality Theory
Springer EN, 2019
978-3-030-12095-5
ca. 110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Springer EN, 2019
978-3-319-88997-9
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Quantum Computation and Logic
How Quantum Computers Have Inspired Logical Investigations
Springer EN, 2018
978-3-030-04470-1
ca. 159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Contradictions, from Consistency to Inconsistency
Springer EN, 2018
978-3-319-98796-5
ca. 135.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
The Logic of Mysticism
Springer International Publishing, 2025
978-3-031-84399-0
ca. 147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Gottlob Frege
Vordenker unserer digitalen Welt
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-49494-0
ca. 44.50 CHF
erscheint im Oktober
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Springer EN, 2019
978-3-662-59564-0
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Extent of Impossibility
The Case of Modal Realism
Springer International Publishing, 2025
978-3-031-99123-3
ca. 55.90 CHF
erscheint im September
Trust Management XIV
14th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2023, Amsterdam, The Netherlands, October 18–20, 2023, Proceedings
Springer International Publishing, 2024
978-3-031-76713-5
ca. 110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Argumentation Methods for Artificial Intelligence in Law
SPRINGER, 2005
9783540278818
177.00 CHF
sofort lieferbar
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Springer EN, 2017
978-3-319-70847-8
ca. 91.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
AIxIA 2024 – Advances in Artificial Intelligence
XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25–28, 2024 Proceedings
Springer International Publishing, 2025
978-3-031-80606-3
ca. 92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Frontiers of Combining Systems
15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 27–October 3, 2025, Proceedings
Springer International Publishing, 2025
978-3-032-04166-1
ca. 55.90 CHF
erscheint im Oktober
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Springer EN, 2018
978-3-319-99367-6
ca. 70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Palgrave Companion to the Philosophy of Set Theory
Springer International Publishing, 2025
978-3-031-62386-8
ca. 179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Dynamics of Judicial Proof
Computation, Logic, and Common Sense
Springer EN, 2012
978-3-662-00323-7
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen