Automated search for Gödel's proofs

2008

Wilfried Sieg, Clinton Field

in: Deduction, computation, experiment, Berlin,