Automated search for Gödel's proofs. - Wilfried Sieg; Clinton Field (Ann. Pure Appl. Log., 2005)