Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
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
Logic and Fixed-Domain Reasoning
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Informations bibliographiques
Mots-clés
Informations bibliographiques
Mots-clés
Autres titres de la collection: Trends in Logic
Afficher toutLogic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
Springer International Publishing, 2025
978-3-031-98188-3
env. 168.00 CHF
disponible dès septembre 2025
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
Springer International Publishing, 2025
978-3-031-98336-8
env. 146.00 CHF
disponible dès septembre 2025
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
env. 158.00 CHF
disponible dès août 2025
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Springer International Publishing, 2025
978-3-031-82450-0
env. 178.00 CHF
disponible dès juillet 2025
60 Years of Connexive Logic
Springer International Publishing, 2025
978-3-031-82993-2
169.00 CHF
livrable dans env. 20-45 jours
New Directions in Relevant Logic
Springer International Publishing, 2025
978-3-031-69939-9
179.00 CHF
livrable dans env. 20-45 jours
A Model–Theoretic Approach to Proof Theory
Springer Nature EN, 2019
978-3-030-28920-1
70.00 CHF
livrable dans env. 20-45 jours
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Springer Nature EN, 2019
978-3-319-88997-9
70.00 CHF
livrable dans env. 20-45 jours
Descriptor Revision
Belief Change through Direct Choice
Springer Nature EN, 2018
978-3-319-85051-1
70.00 CHF
livrable dans env. 20-45 jours
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Springer Nature EN, 2018
978-3-319-82056-9
70.00 CHF
livrable dans env. 20-45 jours
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Springer Nature EN, 2018
978-3-319-70820-1
70.00 CHF
livrable dans env. 20-45 jours
Freedom and Enforcement in Action
A Study in Formal Action Theory
Springer Nature EN, 2016
978-94-024-0133-2
117.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
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
110.00 CHF
livrable dans env. 20-45 jours
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Springer International Publishing, 2025
978-3-031-72850-1
179.00 CHF
livrable dans env. 20-45 jours
Argumentation Methods for Artificial Intelligence in Law
SPRINGER, 2005
9783540278818
177.00 CHF
disponible de suite
The Logic of Mysticism
Springer International Publishing, 2025
978-3-031-84399-0
147.00 CHF
livrable dans env. 20-45 jours
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Springer Nature EN, 2018
978-3-319-99367-6
70.00 CHF
livrable dans env. 20-45 jours
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
92.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
disponible dès octobre 2025
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
env. 158.00 CHF
disponible dès août 2025
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Springer Nature EN, 2019
978-3-662-59564-0
70.00 CHF
livrable dans env. 20-45 jours
Molecular Logic and Computational Synthetic Biology
First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers
Springer Nature EN, 2019
978-3-030-19431-4
70.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
179.00 CHF
livrable dans env. 20-45 jours
Logic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
Springer International Publishing, 2025
978-3-031-98188-3
env. 168.00 CHF
disponible dès septembre 2025