Domaines
Étudier le droit
Littérature
Bases de données
Services pour
Corporate Books
Solutions d'édition
Actualités
Qui sommes-nous?
Thèmes
En savoir plus
Droit suisse
Droit étranger
À propos de notre boutique
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Logic and Fixed-Domain Reasoning
Logic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
octobre 2025, env. 298 pages, Trends in Logic, Anglais
Springer International Publishing
978-3-031-98188-3
octobre 2025, env. 298 pages, Trends in Logic, Anglais
Springer International Publishing
978-3-031-98188-3
Autres titres de la collection: Trends in Logic
Afficher toutModel Theory: The Algebraic Basics
Springer International Publishing, 2025
978-3-032-03795-4
env. 109.00 CHF
paraît en octobre
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
Springer International Publishing, 2025
978-3-031-98336-8
env. 146.00 CHF
paraît en octobre
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
env. 158.00 CHF
paraît en octobre
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Springer International Publishing, 2025
978-3-031-98192-0
env. 188.00 CHF
paraît en octobre
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Springer International Publishing, 2025
978-3-031-82450-0
env. 179.00 CHF
livrable dans env. 20-45 jours
60 Years of Connexive Logic
Springer International Publishing, 2025
978-3-031-82993-2
env. 169.00 CHF
livrable dans env. 20-45 jours
New Directions in Relevant Logic
Springer International Publishing, 2025
978-3-031-69939-9
env. 179.00 CHF
livrable dans env. 20-45 jours
A Model–Theoretic Approach to Proof Theory
Springer EN, 2019
978-3-030-28920-1
env. 70.00 CHF
livrable dans env. 20-45 jours
Heyting Algebras
Duality Theory
Springer EN, 2019
978-3-030-12095-5
env. 110.00 CHF
livrable dans env. 20-45 jours
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Springer EN, 2019
978-3-319-88997-9
env. 70.00 CHF
livrable dans env. 20-45 jours
Quantum Computation and Logic
How Quantum Computers Have Inspired Logical Investigations
Springer EN, 2018
978-3-030-04470-1
env. 159.00 CHF
livrable dans env. 20-45 jours
Contradictions, from Consistency to Inconsistency
Springer EN, 2018
978-3-319-98796-5
env. 135.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Molecular Logic and Computational Synthetic Biology
First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Springer EN, 2019
978-3-030-19431-4
env. 70.00 CHF
livrable dans env. 20-45 jours
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
env. 55.90 CHF
paraît en octobre
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Springer International Publishing, 2025
978-3-031-99983-3
env. 55.90 CHF
livrable dans env. 20-45 jours
Argumentation Methods for Artificial Intelligence in Law
SPRINGER, 2005
9783540278818
177.00 CHF
disponible de suite
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
env. 91.00 CHF
livrable dans env. 20-45 jours
The Palgrave Companion to the Philosophy of Set Theory
Springer International Publishing, 2025
978-3-031-62386-8
env. 179.00 CHF
livrable dans env. 20-45 jours
The Extent of Impossibility
The Case of Modal Realism
Springer International Publishing, 2025
978-3-031-99123-3
env. 55.90 CHF
paraît en septembre
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
env. 70.00 CHF
livrable dans env. 20-45 jours
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Springer EN, 2018
978-3-319-99367-6
env. 70.00 CHF
livrable dans env. 20-45 jours
Gottlob Frege
Vordenker unserer digitalen Welt
Springer Fachmedien Wiesbaden GmbH, 2025
978-3-658-49494-0
env. 44.50 CHF
paraît en octobre
The Logic of Mysticism
Springer International Publishing, 2025
978-3-031-84399-0
env. 147.00 CHF
livrable dans env. 20-45 jours
The Dynamics of Judicial Proof
Computation, Logic, and Common Sense
Springer EN, 2012
978-3-662-00323-7
env. 239.00 CHF
livrable dans env. 20-45 jours