Wilfried Sieg
(2000-2009)
X2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
2005
Synthese 147/1
(2000-2009)
X2009
in: Logicism, intuitionism, and formalism, Dordrecht : Springer
Automated search for Gödel's proofs
2008
in: Deduction, computation, experiment, Dordrecht : Springer
2005
Synthese 147/1