- 3
Thomas Seiller
3
Documents
Publications
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 1
- 2
- 1
On the computational meaning of axiomsEpistemology, 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
|
|
Verificationism and classical realizabilityPerspectives on Interrogative Models of Inquiry, 8, Springer, pp.163-197, 2016, Logic, Argumentation & Reasoning, 978-3-319-20761-2. ⟨10.1007/978-3-319-20762-9_9⟩
Chapitre d'ouvrage
hal-01251229v1
|
|
On the Computational Meaning of Axioms2014
Pré-publication, Document de travail
hal-00930222v1
|