
Reinhard Kahle
(2010-2019)
X2015
Axiomathes 25/1
Computing with mathematical arguments
2013
in: New challenges to philosophy of science, Dordrecht : Springer

(2010-2019)
X2015
Axiomathes 25/1
Computing with mathematical arguments
2013
in: New challenges to philosophy of science, Dordrecht : Springer