The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice - Archive ouverte HAL Access content directly
Journal Articles South American Journal of Logic Year : 2015

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

(1) , (2, 1) , (1, 3)
1
2
3
Not file

Dates and versions

halshs-01225285 , version 1 (06-11-2015)

Identifiers

  • HAL Id : halshs-01225285 , version 1

Cite

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⟩
81 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More