Connaissez-vous déjà notre service clients professionnels ? Nous nous ferons un plaisir de vous conseiller.
Focus
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover
The Method of Socratic Proofs

The Method of Socratic Proofs

From the Logic of Questions to Proof Theory
Livre (relié)env. 0.00 CHF
disponible dès mai 2025

Informations bibliographiques

mai 2025, env. 348 Pages, Trends in Logic, Anglais
Springer International Publishing
978-3-031-82450-0

Mots-clés

Autres titres de la collection: Trends in Logic

Afficher tout
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
env. 157.00 CHF
disponible dès septembre 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
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
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
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Springer Nature EN, 2016
978-94-024-0687-0
158.00 CHF
livrable dans env. 20-45 jours
Leśniewski's Systems of Logic and Foundations of Mathematics
Springer Nature EN, 2016
978-3-319-34416-4
70.00 CHF
livrable dans env. 20-45 jours

Autres titres sur ce thème

The Mathematical and Philosophical Legacy of Alexander Grothendieck
Springer International Publishing, 2025
978-3-031-68933-8
189.00 CHF
livrable dans env. 20-45 jours
Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
0
disponible dès juillet 2025
Alfred Tarski on Scientific Semantics
Springer International Publishing, 2025
978-3-031-59457-1
147.00 CHF
livrable dans env. 20-45 jours
Spezialangebot «Formeln» und «Algebra»
hep Verlag, 2025
978-3-0355-2907-4
env. 83.00 CHF
disponible dès mai 2025
Algebra (Print inkl. digitaler Ausgabe, Neuauflage 2025)
hep Verlag, 2025
978-3-0355-2814-5
env. 64.00 CHF
disponible dès mai 2025
Algebra Without Borders
Classical and Constructive Semigroups and Applications
Springer International Publishing, 2025
978-3-031-86476-6
env. 188.00 CHF
disponible dès juin 2025
Gödel's Theorems and Zermelo's Axioms
A Firm Foundation of Mathematics
Springer International Publishing, 2025
978-3-031-85105-6
env. 89.00 CHF
disponible dès avril 2025
An Intellectual History of Science in the Renaissance
Part I: Cultural & Fundamental Frameworks
Springer International Publishing, 2025
978-3-031-90489-9
env. 168.00 CHF
disponible dès juillet 2025
Faszination Unendlichkeit
Von Wiener Walzer bis zu mengentheoretischen Spielen
Springer, 2025
978-3-662-69708-5
env. 37.90 CHF
disponible dès novembre 2025
Mathematik für das Ingenieurstudium
Aufgaben und Lösungen
Hanser Fachbuch, 2025
978-3-446-47863-3
env. 40.50 CHF
disponible dès juin 2025