LitArk » Authors » Clerbout Nicolas

Clerbout+Nicolas all books read online for free

Here you can read online for free all Clerbout+Nicolas author books.

Clerbout Nicolas - Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice

Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice

60

Clerbout Nicolas

Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice