DE
|
FR
Focus
Domaines
Droit du travail
Droit de la famille
Droit des assurances sociales
Droit pénal
Étudier le droit
Études
Publications
Littérature
Livres
Collections
Revues
Littérature pour les études
Bases de données
Modules en ligne LEXIA
recht.ch
Services
Services pour
Professionnels
Librairies
Presse
Enseignants
Étudiants
Annonceurs
Corporate Books
Corporate Publishing
Solutions d'édition
Content solutions
Actualités
Newsletter
Événements
Blog
Auteurs
Nos Auteurs
Liste
Témoignages
Aide
Espace des auteurs
Publier chez nous
Éditions
Qui sommes-nous?
Collaborateurs
Histoire
Vision et mission
Culture d'entreprise
Thèmes
Durabilité
Open Access
Carrière
En savoir plus
Newsletter
Notre magazine
Partenaires
Contact
Shop
Droit suisse
Nouveautés
À paraître
Par domaine juridique
Commentaires
Droit étranger
Nouveautés
À paraître
À propos de notre boutique
Assortiment et recherche
LEXIA
Revues
Livres spécialisés
LOKI
Semaphor
DE
|
FR
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.
Télécharger la couverture
Logic and Fixed-Domain Reasoning
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
De:
Taylor, Ralph Gregory
Livre (relié)
env. 188.00 CHF
paraît en octobre
Ajouter au panier
Informations bibliographiques
octobre 2025
,
env. 372 pages
,
Trends in Logic
,
Anglais
Springer International Publishing
978-3-031-98192-0
Mots-clés
Informations bibliographiques
octobre 2025
,
env. 372 pages
,
Trends in Logic
,
Anglais
Springer International Publishing
978-3-031-98192-0
Mots-clés
Autres titres de la collection: Trends in Logic
Afficher tout
Model Theory: The Algebraic Basics
Rizza, Davide
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
Mundici, Daniele
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
van Benthem, Johan
|
Liu, Fenrong
Springer International Publishing
,
2025
978-3-031-91360-0
env. 158.00 CHF
paraît en octobre
Logic and Fixed-Domain Reasoning
Volume 1: An Empirico-Pragmatist Model Theory and Proof Theory
Taylor, Ralph Gregory
Springer International Publishing
,
2025
978-3-031-98188-3
env. 168.00 CHF
paraît en octobre
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Leszczyńska-Jasion, Dorota
Springer International Publishing
,
2025
978-3-031-82450-0
env. 179.00 CHF
livrable dans env. 20-45 jours
60 Years of Connexive Logic
Omori, Hitoshi
|
Wansing, Heinrich
Springer International Publishing
,
2025
978-3-031-82993-2
env. 169.00 CHF
livrable dans env. 20-45 jours
New Directions in Relevant Logic
Sedlár, Igor
|
Standefer, Shawn
|
Tedder, Andrew
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
Adamowicz, Zofia
|
Bigorajska, Teresa
|
Zdanowski, Konrad
Springer EN
,
2019
978-3-030-28920-1
env. 70.00 CHF
livrable dans env. 20-45 jours
Heyting Algebras
Duality Theory
Bezhanishvili, Guram
|
Holliday, Wesley H.
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
Ferguson, Thomas Macaulay
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
Dalla Chiara, Maria Luisa
|
Giuntini, Roberto
|
Leporini, Roberto
Springer EN
,
2018
978-3-030-04470-1
env. 159.00 CHF
livrable dans env. 20-45 jours
Contradictions, from Consistency to Inconsistency
Carnielli, Walter
|
Malinowski, Jacek
Springer EN
,
2018
978-3-319-98796-5
env. 135.00 CHF
livrable dans env. 20-45 jours
Autres titres sur ce thème
Graph Games and Logic Design
Recent Developments and Further Directions
van Benthem, Johan
|
Liu, Fenrong
Springer International Publishing
,
2025
978-3-031-91360-0
env. 158.00 CHF
paraît en octobre
Language, Logic, and Computation
12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers
Silva, Alexandra
|
Staton, Sam
|
Sutton, Peter
Springer EN
,
2019
978-3-662-59564-0
env. 70.00 CHF
livrable dans env. 20-45 jours
The Logic of Mysticism
Bencivenga, Ermanno
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
MacCrimmon, Marilyn
|
Tillers, Peter
Springer EN
,
2012
978-3-662-00323-7
env. 239.00 CHF
livrable dans env. 20-45 jours
Formal Methods: Foundations and Applications
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings
Cavalheiro, Simone
|
Fiadeiro, José
Springer EN
,
2017
978-3-319-70847-8
env. 91.00 CHF
livrable dans env. 20-45 jours
Trust Management XIV
14th IFIP WG 11.11 International Conference on Trust Management, IFIPTM 2023, Amsterdam, The Netherlands, October 18–20, 2023, Proceedings
Muller, Tim
|
Fernandez-Gago, Carmen
|
Ceolin, Davide
Springer International Publishing
,
2024
978-3-031-76713-5
env. 110.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
Chaves, Madalena
|
Martins, Manuel A.
Springer EN
,
2019
978-3-030-19431-4
env. 70.00 CHF
livrable dans env. 20-45 jours
Gottlob Frege
Vordenker unserer digitalen Welt
Framm, Edith
|
Framm, Joachim
|
Schott, Dieter
Springer Fachmedien Wiesbaden GmbH
,
2025
978-3-658-49494-0
env. 44.50 CHF
paraît en octobre
The Palgrave Companion to the Philosophy of Set Theory
Antos, Carolin
|
Barton, Neil
|
Venturi, Giorgio
Springer International Publishing
,
2025
978-3-031-62386-8
env. 179.00 CHF
livrable dans env. 20-45 jours
Canadian Semantic Web
Mamadou Tadiou Koné
|
Daniel Lemire
SPRINGER
,
2006
9780387343471
177.00 CHF
disponible de suite
Automated Deduction – CADE 30
30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings
Barrett, Clark
|
Waldmann, Uwe
Springer International Publishing
,
2025
978-3-031-99983-3
env. 55.90 CHF
livrable dans env. 20-45 jours
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Nguyen, Hung Son
|
Ha, Quang-Thuy
|
Li, Tianrui
Springer EN
,
2018
978-3-319-99367-6
env. 70.00 CHF
livrable dans env. 20-45 jours