https://halshs.archives-ouvertes.fr/halshs-01225285
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 12:47:06 AM Last modification on : Tuesday, November 3, 2020 - 9:54:03 AM
Shahid Rahman, Radmila Jovanovic, Nicolas Clerbout. The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice. South American Journal of Logic , 2015. ⟨halshs-01225285⟩