Linking game-theoretical approaches with constructive type theory dialogical strategies, CTT demonstrations and the axiom of choice - Clerbout, Nicolas; Rahman, Shahid 1956- (SpringerBriefs in Philosophy, 2015)