Clerbout, Nicolas, Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice / Nicolas Clerbout, Shahid Rahman. - xix, 99 páginas : ilustraciones. . ISBN: 9783319190624 Subjects--Topical Terms: CONSTRUCTIVISMO (FILOSOFIA) Dewey Class. No.: 121