The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice

Complete list of metadatas

https://halshs.archives-ouvertes.fr/halshs-01225285
Contributor : Shahid Rahman <>
Submitted on : Friday, November 6, 2015 - 12:47:06 AM
Last modification on : Tuesday, July 3, 2018 - 11:20:59 AM

Identifiers

  • HAL Id : halshs-01225285, version 1

Collections

Citation

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, ⟨http://www.sa-logic.org/sajl-v1-i1/07-Rahman-Clerbout-Jovanovic-SAJL.pdf⟩. ⟨halshs-01225285⟩

Share

Metrics

Record views

178