
Thomas Seiller
(2010-2019)
XOn the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer

(2010-2019)
XOn the computational meaning of axioms
2016
in: Epistemology, knowledge and the impact of interaction, Dordrecht : Springer