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 1: An Empirico-Pragmatist Model Theory and Proof Theory
Oktober 2025, ca. 298 Seiten, Trends in Logic, Englisch
Springer International Publishing
978-3-031-98188-3
Oktober 2025, ca. 298 Seiten, Trends in Logic, Englisch
Springer International Publishing
978-3-031-98188-3
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 2: Solutions to Selected Exercises
Springer International Publishing, 2025
978-3-031-98192-0
ca. 188.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
Argumentation Methods for Artificial Intelligence in Law
SPRINGER, 2005
9783540278818
177.00 CHF
sofort lieferbar
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
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
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Springer International Publishing, 2025
978-3-031-98192-0
ca. 188.00 CHF
erscheint im Oktober
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
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
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
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
ca. 179.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
The Dynamics of Judicial Proof
Computation, Logic, and Common Sense
Springer EN, 2002
978-3-7908-1459-0
ca. 239.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
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