Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level
84.58 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10473873
Beschreibung
1. Introduction: Some Brief Historical and Philosophical Remarks.- 2. A Brief Introduction to Constructive Type Theory.- 3. Basic Notions for Dialogical Logic.- 4. Advanced Dialogues: Play Level.- 5. Advanced Dialogues: Strategy Level.- 6. Local Reasons and Dialogues for Immanent Reasoning.- 7. The Dialogical Roots of Equality: Dialogues for Immanent Reasoning.- 8. The Remarkable Case of the Axiom of Choice.- 9. From Dialogical Strategies To CTT-Demonstrations And Back.- 10. Material Dialogues.- 11. Concluding Remarks: A Plaidoyer for the Play Level.
Eigenschaften
Breite: | 161 |
Gewicht: | 672 g |
Höhe: | 244 |
Länge: | 25 |
Seiten: | 332 |
Sprachen: | Englisch |
Autor: | Ansten Klev, Shahid Rahman, Zoe McConaughey |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen