Article Dans Une Revue
Annals of Pure and Applied Logic
Année : 2010
Alexis Saurin : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00527922
Soumis le : mercredi 20 octobre 2010-15:55:57
Dernière modification le : jeudi 15 février 2024-03:31:00
Citer
Olivier Delande, Dale Miller, Alexis Saurin. Proof and Refutation in MALL as a game. Annals of Pure and Applied Logic, 2010, 161 (5), pp.654-672. ⟨10.1016/j.apal.2009.07.017⟩. ⟨hal-00527922⟩
Collections
168
Consultations
0
Téléchargements