Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice - Clerbout, Nicolas; Rahman, Shahid 1956- (Springer International Publishing, 2015)
Keywords: Philosophy (General); Logic; Computer science; Mathematics; Philosophy; Mathematical Logic and Formal Languages; Game Theory, Economics, Social and Behav. Sciences; Informatik; Mathematik; Philosophie