Linking Game-Theoretical Approaches with Constructive Type Theory

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice is geschreven door Nicolas Clerbout; Shahid Rahman en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Linking Game-Theoretical Approaches with Constructive Type Theory zijn 9783319190631, 3319190636 en de ISBN's voor gedrukt materiaal zijn 9783319190624, 3319190628. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Linking Game-Theoretical Approaches with Constructive Type Theory: Dialogical Strategies, CTT demonstrations and the Axiom of Choice is geschreven door Nicolas Clerbout; Shahid Rahman en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Linking Game-Theoretical Approaches with Constructive Type Theory zijn 9783319190631, 3319190636 en de ISBN's voor gedrukt materiaal zijn 9783319190624, 3319190628. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.