Title |
Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice / Nicolas Clerbout ; Shahid Rahman |
|---|---|
Involved |
Nicolas Clerbout (Verfasser) |
Published |
Cham: Springer International Publishing |
Edition |
Aufl. 2015 |
Extent |
110 S. in 1 Teil |
ISBN |
978-3-319-19062-4 |
Language |
|
Country |
|
Topic |
|
Subject |
Constructive Type Theory
Dialogues with Play-Objects dialogical strategies to CTT demonstrations Axiom of Choice
P-strategy out of a CTT demonstration
Standard Dialogical Games |
Series |
SpringerBriefs in Philosophy |
Other editions |
Erscheint auch als Online-Ausgabe: Linking Game-Theoretical Approaches with Constructive Type Theory : Dialogical Strategies, CTT demonstrations and the Axiom of Choice |
Record ID |
1069683620 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: