Buch
Linking Game-Theoretical Approaches with Constructive Type Theory
-Dialogical Strategies, CTT demonstrations and the Axiom of Choice-Nicolas Clerbout; Shahid Rahman
53,49
EUR
Lieferzeit 12-13 Tage
Übersicht
| Verlag | : | Springer International Publishing |
| Buchreihe | : | SpringerBriefs in Philosophy |
| Sprache | : | Englisch |
| Erschienen | : | 21. 07. 2015 |
| Seiten | : | 99 |
| Einband | : | Kartoniert |
| Höhe | : | 235 mm |
| Breite | : | 155 mm |
| Gewicht | : | 203 g |
| ISBN | : | 9783319190624 |
| Sprache | : | Englisch |
Inhaltsverzeichnis
Chapter 1. Brief Reminder of Constructive Type Theory.- Chapter 2. Dialogues with Play-Objects.- Chapter 3. From dialogical strategies to CTT demonstrations.- Chapter 4. The dialogical take on the Axiom of Choice, and its translation into CTT.- Chapter 5. Building a winning P-strategy out of a CTT demonstration.- Chapter 6. Conclusions and Work in Progress.
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Deine Buchhandlung
Buchhandlung LeseLust
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr
Inh. Gernod Siering
Georgenstraße 2
99817 Eisenach
03691/733822
kontakt@leselust-eisenach.de
Montag-Freitag 9-17 Uhr
Sonnabend 10-14 Uhr