Kennen Sie schon unseren
Geschäftskundenservice?
Wir beraten Sie gerne
.
Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Anmelden
Registrieren
LEXIA
Zeitschriften
Sachbuch
LOKI
Semaphor
DE
|
FR
Fokusthemen
Thema
Recht studieren
Arbeitsrecht
Studium
Familienrecht
Sozialversicherungsrecht
Strafrecht
Publikationen
Literatur
Onlinemodule LEXIA
Bücher
Buchreihen
Zeitschriften
Datenbanken
recht.ch
Studienliteratur
Services
Dienstleistungen für
Corporate Books
Publishing Lösungen
Aktuelles
Geschäftskunden
Corporate Publishing
Content solutions
Buchhandlungen
Veranstaltungen
Presse
Dozierende
Studierende
Inserierende
Newsletter
Blog
Autorinnen/Autoren
Unsere Schreibenden
Hilfe
Unsere Autorinnen und Autoren
Autorenlounge
Bei uns publizieren
Autorenstimmen
Verlag
Über uns
Themen
Mehr wissen
Mitarbeitende
Nachhaltigkeit
Newsletter
Geschichte
Open Access
Vision und Mission
Karriere
Unser Magazin
Unternehmenskultur
Partner
Kontakt
Shop
Schweizer Recht
Ausländisches Recht
Über unseren Shop
Neuerscheinungen
Neuerscheinungen
Sortiment und Funktionen
Vorankündigungen
Vorankündigungen
Nach Rechtsgebiet
Kommentare
Anmelden
Registrieren
Download Cover
Logic and Fixed-Domain Reasoning
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Von:
Taylor, Ralph Gregory
Buch (gebunden)
ca. 188.00 CHF
erhältlich ab September 2025
In den Warenkorb
Bibliografische Angaben
September 2025
,
Trends in Logic
,
Englisch
Springer International Publishing
978-3-031-98192-0
Schlagworte
Bibliografische Angaben
September 2025
,
Trends in Logic
,
Englisch
Springer International Publishing
978-3-031-98192-0
Schlagworte
Weitere Titel der Reihe: Trends in Logic
Alle anzeigen
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
ca. 168.00 CHF
erhältlich ab September 2025
Algebraic Probabilistic Consistency
Boole, Łukasiewicz, de Finetti, Kolmogorov
Mundici, Daniele
Springer International Publishing
,
2025
978-3-031-98336-8
ca. 146.00 CHF
erhältlich ab September 2025
Graph Games and Logic Design
Recent Developments and Further Directions
van Benthem, Johan
|
Liu, Fenrong
Springer International Publishing
,
2025
978-3-031-91360-0
ca. 158.00 CHF
erhältlich ab August 2025
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
ca. 178.00 CHF
erhältlich ab Juli 2025
60 Years of Connexive Logic
Omori, Hitoshi
|
Wansing, Heinrich
Springer International Publishing
,
2025
978-3-031-82993-2
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
New Directions in Relevant Logic
Sedlár, Igor
|
Standefer, Shawn
|
Tedder, Andrew
Springer International Publishing
,
2025
978-3-031-69939-9
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
A Model–Theoretic Approach to Proof Theory
Adamowicz, Zofia
|
Bigorajska, Teresa
|
Zdanowski, Konrad
Springer Nature EN
,
2019
978-3-030-28920-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Ferguson, Thomas Macaulay
Springer Nature EN
,
2019
978-3-319-88997-9
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Descriptor Revision
Belief Change through Direct Choice
Hansson, Sven Ove
Springer Nature EN
,
2018
978-3-319-85051-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Andreas, Holger
|
Verdée, Peter
Springer Nature EN
,
2018
978-3-319-82056-9
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Meaning and Proscription in Formal Logic
Variations on the Propositional Logic of William T. Parry
Ferguson, Thomas Macaulay
Springer Nature EN
,
2018
978-3-319-70820-1
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Freedom and Enforcement in Action
A Study in Formal Action Theory
Czelakowski, Janusz
Springer Nature EN
,
2016
978-94-024-0133-2
117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Weitere Titel zum Thema
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 Nature EN
,
2019
978-3-030-19431-4
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Logic of Mysticism
Bencivenga, Ermanno
Springer International Publishing
,
2025
978-3-031-84399-0
147.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
Artale, Alessandro
|
Cortellessa, Gabriella
|
Montali, Marco
Springer International Publishing
,
2025
978-3-031-80606-3
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Logic, Philosophy, and History of the Lambda-Calculus
Theory and Applications
Zerpa, Levis
Springer International Publishing
,
2025
978-3-031-72850-1
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Rough Sets
International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings
Nguyen, Hung Son
|
Ha, Quang-Thuy
|
Li, Tianrui
Springer Nature EN
,
2018
978-3-319-99367-6
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
The Palgrave Companion to the Philosophy of Set Theory
Antos, Carolin
|
Barton, Neil
|
Venturi, Giorgio
Springer International Publishing
,
2025
978-3-031-62386-8
179.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Graph Games and Logic Design
Recent Developments and Further Directions
van Benthem, Johan
|
Liu, Fenrong
Springer International Publishing
,
2025
978-3-031-91360-0
ca. 158.00 CHF
erhältlich ab August 2025
The Extent of Impossibility
The Case of Modal Realism
Vacek, Martin
Springer International Publishing
,
2025
978-3-031-99123-3
ca. 55.90 CHF
erhältlich ab Oktober 2025
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 Nature EN
,
2019
978-3-662-59564-0
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Argumentation Methods for Artificial Intelligence in Law
Douglas Walton
SPRINGER
,
2005
9783540278818
177.00 CHF
sofort lieferbar
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
ca. 168.00 CHF
erhältlich ab September 2025
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
110.00 CHF
lieferbar in ca. 20-45 Arbeitstagen