1 Table of Contents: “... Philosophy of logic, mathematics and computer science -- What can we do “in principle”? -- Causation, action...”

2 Table of Contents: “...I / Foundations of Logic and of Mathematics -- Positively Omitting Types -- Proof Theory and Theory...”