Linking Game-Theoretical Approaches with Constructive Type Theory Shahid Rahman
53,49 €
Titel: Linking Game-Theoretical Approaches with Constructive Type Theory, Untertitel: Dialogical Strategies, CTT demonstrations and the Axiom of Choice, Einband: Taschenbuch, Autor: Shahid Rahman, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 124, Maße: 235x155x8 mm, Gewicht: 201 g, Verkäufer: buch-mimpf, Schlagworte: Logik Philosophie / Logik Spieltheorie Constructive Type Theory Dialogues with Play-Objects P-strategy out of a CTT demonstration Standard Dialogical Games axiom of choice dialogical strategies to CTT demonstrations.
Jetzt bei Ebay:
