LitArk » Authors » Rahman Shahid

Rahman+Shahid all books read online for free

Here you can read online for free all Rahman+Shahid 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