Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
Osteraktion: Bis zum 30.4.2025 von 20% Rabatt auf folgende Produkte profitieren. Code: NEST25
cover
The Method of Socratic Proofs

The Method of Socratic Proofs

From the Logic of Questions to Proof Theory
Buch (gebunden)ca. 178.00 CHF
erhältlich ab Juni 2025

Bibliografische Angaben

Juni 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
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
ca. 157.00 CHF
erhältlich ab Juli 2025
60 Years of Connexive Logic
Springer International Publishing, 2025
978-3-031-82993-2
169.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
New Directions in Relevant Logic
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
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
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
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
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
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
Springer Nature EN, 2016
978-94-024-0133-2
117.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Advances in Natural Deduction
A Celebration of Dag Prawitz's Work
Springer Nature EN, 2016
978-94-024-0687-0
158.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Leśniewski's Systems of Logic and Foundations of Mathematics
Springer Nature EN, 2016
978-3-319-34416-4
70.00 CHF
lieferbar in ca. 20-45 Arbeitstagen

Weitere Titel zum Thema

Proof Assistants and Their Applications in Mathematics and Computer Science
Springer International Publishing, 2025
978-3-031-85189-6
ca. 103.00 CHF
erhältlich ab Juli 2025
An Intellectual History of Science in the Renaissance
Part I: Cultural & Fundamental Frameworks
Springer International Publishing, 2025
978-3-031-90489-9
ca. 168.00 CHF
erhältlich ab Juli 2025
Modal Integrative Psychotherapy
A Logical Integration of Psychotherapy
Springer International Publishing, 2025
978-3-031-91933-6
ca. 157.00 CHF
erhältlich ab Juni 2025
An Intellectual History of Science in the Renaissance
Part II: Cultural, Fundamental & Technological Frameworks
Springer International Publishing, 2025
978-3-031-90485-1
ca. 178.00 CHF
erhältlich ab Juli 2025
Graph Games and Logic Design
Recent Developments and Further Directions
Springer International Publishing, 2025
978-3-031-91360-0
ca. 157.00 CHF
erhältlich ab Juli 2025
Mathematical Logic in Vienna
Springer International Publishing, 2025
978-3-031-81690-1
158.00 CHF
lieferbar in ca. 20-45 Arbeitstagen
Computable Structure Theory
A Unified Approach
Springer International Publishing, 2025
978-3-031-92432-3
ca. 168.00 CHF
erhältlich ab Juni 2025