On the Computational Meaning of Axioms

Logic, Epistemology, and the Unity of Science - Epistemology, Knowledge and the Impact of Interaction ◽

10.1007/978-3-319-26506-3_5 ◽

2016 ◽

pp. 141-184 ◽

Cited By ~ 3

Author(s):

Alberto Naibo ◽

Mattia Petrolo ◽

Thomas Seiller

Download Full-text