Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
Experimental methods in proofs
2008
Gabriele Lolli
in: Deduction, computation, experiment, Dordrecht : Springer