TY  - BOOK
AU  - Clerbout,Nicolas
AU  - Rahman,Shahid
TI  - Linking game-theoretical approaches with constructive type theory: dialogical strategies, CTT demonstrations and the axiom of choice 
SN  - 9783319190624
U1  - 121 
PY  - 2015///
CY  - New York
PB  - Springer
KW  - CONSTRUCTIVISMO (FILOSOFIA)
ER  -