The Dialogical Take on Martin-Löf’s Proof of the Axiom of Choice - HAL Accéder directement au contenu
Article dans une revue South American Journal of Logic Année : 2015

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

Loading...
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : halshs-01225285 , version 1

Citer

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⟩
88 Consultations
0 Téléchargements
Dernière date de mise à jour le 28/04/2024
comment ces indicateurs sont-ils produits

Partager

Gmail Facebook Twitter LinkedIn Plus