Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
in English
Automated search for Gödel's proofs
2008
Wilfried Sieg Clinton Field
in: Deduction, computation, experiment, Dordrecht : Springer
