1 Table of Contents: “... of the Sperner Lemma -- The Church-Turing Thesis: Consensus and Opposition -- Gödel and the Origins of Computer...”

2 Table of Contents: “... in the context of Attacker-Defender games -- Turing jumps through provability -- Rice's Theorem in Effectively...”

3 Table of Contents: “... -- Recursion in Higher Types and Resource Bounded Turing Machines -- Computability and Complexity in Self...”