Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2000-2009)
On formal proofs
2008
Andrea Cantini
in: Deduction, computation, experiment, Dordrecht : Springer
