Cite
APA Citation
Clerbout, N., & Rahman, S. (2015). Linking game-theoretical approaches with constructive type theory : dialogical strategies, CTT demonstrations and the axiom of choice. Cham : Springer. http://access.bl.uk/ark:/81055/vdc_100073753124.0x000001