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
The Method of Socratic Proofs
The Method of Socratic Proofs
From the Logic of Questions to Proof Theory
Von:
Leszczyńska-Jasion, Dorota
Buch (gebunden)
ca. 178.00 CHF
erhältlich ab Juli 2025
In den Warenkorb
Bibliografische Angaben
Juli 2025
,
ca. 348 Seiten
,
Trends in Logic
,
Englisch
Springer International Publishing
978-3-031-82450-0
Schlagworte
Bibliografische Angaben
Juli 2025
,
ca. 348 Seiten
,
Trends in Logic
,
Englisch
Springer International Publishing
978-3-031-82450-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
Logic and Fixed-Domain Reasoning
Volume 2: Solutions to Selected Exercises
Taylor, Ralph Gregory
Springer International Publishing
,
2025
978-3-031-98192-0
ca. 188.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
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
Multi-Valued Logic for Decision-Making Under Uncertainty
Kagan, Evgeny
|
Rybalov, Alexander
|
Yager, Ronald
Springer Nature EN
,
2025
978-3-031-74761-8
237.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Ideals, Varieties, and Algorithms
An Introduction to Computational Algebraic Geometry and Commutative Algebra
Cox, David A.
|
Little, John
|
O'Shea, Donal
Springer International Publishing
,
2025
978-3-031-91840-7
ca. 109.00 CHF
erhältlich ab August 2025
The Theory of Plane Area at the Crossroads
Philosophical, Historical, and Logical Perspectives
Giovannini, Eduardo N.
|
Haeusler, Edward Hermann
|
Lassalle Casanave, Abel
Springer International Publishing
,
2025
978-3-031-70915-9
159.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Abductive Minds: Essays in Honor of Lorenzo Magnani - Volume 1
Arfini, Selene
Springer International Publishing
,
2025
978-3-031-96683-5
ca. 168.00 CHF
erhältlich ab September 2025
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Müller, Sandra
Springer
,
2026
978-3-662-69708-5
ca. 37.90 CHF
erhältlich ab März 2026
Differential and Integral Calculus
Implicit Functions, Stieltjes Integrals and Curvilinear Integrals
Georgiev, Svetlin G.
|
Zennir, Khaled
De Gruyter
,
2025
978-3-11-914462-9
0
erhältlich ab Oktober 2025
The Social Fabric of Understanding
Malfatti, Federica Isabella
Springer International Publishing
,
2025
978-3-031-92684-6
ca. 158.00 CHF
erhältlich ab Juli 2025
SOFSEM 2025: Theory and Practice of Computer Science
50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20–23, 2025, Proceedings, Part I
Královič, Rastislav
|
Kůrková, Věra
Springer International Publishing
,
2025
978-3-031-82669-6
92.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Math for Business and Economics
Compendium of Essential Formulas
Peren, Franz W.
Springer
,
2025
978-3-662-71170-5
147.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Algebra Without Borders
Classical and Constructive Semigroups and Applications
Mitrović, Melanija
|
Hounkonnou, Mahouton Norbert
Springer International Publishing
,
2025
978-3-031-86476-6
ca. 188.00 CHF
erhältlich ab Juli 2025
Mathematik für das Ingenieurstudium
Aufgaben und Lösungen
Koch, Jürgen
|
Stämpfle, Martin
Hanser Fachbuch
,
2025
978-3-446-47863-3
40.90 CHF
sofort lieferbar
Computable Structure Theory
A Unified Approach
Downey, Rodney G.
|
Melnikov, Alexander
Springer International Publishing
,
2025
978-3-031-92432-3
ca. 168.00 CHF
erhältlich ab August 2025