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

Liste complète des métadonnées

https://halshs.archives-ouvertes.fr/halshs-01225285
Contributeur : Shahid Rahman <>
Soumis le : vendredi 6 novembre 2015 - 00:47:06
Dernière modification le : mardi 3 juillet 2018 - 11:20:59

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

164