Accéder directement au contenu

Thomas Seiller

1
Documents

Publications

34348

On the computational meaning of axioms

Alberto Naibo , Mattia Petrolo , Thomas Seiller
Epistemology, Knowledge and the Impact of Interaction, 38, Springer, pp. 141-184, 2016, Logic, Epistemology, and the Unity of Science, 978-3-319-26504-9. ⟨10.1007/978-3-319-26506-3_5⟩
Chapitre d'ouvrage halshs-01313400v1