1 Table of Contents: “... step: Church's analysis of effective calculability / Wilfried Sieg -- 13. Turing and the discovery...”

2 Table of Contents: “... tradition / Jeremy Avigad -- Only two letters : the correspondence between Herbrand and Gödel / Wilfried...”